Interactive Theorem Proving and Program Development

R 3,949
or 4 x payments of R987.25 with Payflex

Availability: Currently in Stock
Delivery: 10-20 working days

You might also like...