Interactive Theorem Proving and Program Development

R 4,042
or 4 x payments of R1,010.50 with Payflex

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

You might also like...