Intelligent Computer Mathematics
2 contributors - Paperback
£99.99
Automated Reasoning
3 contributors - Paperback
£34.99
Tests and Proofs
£44.99
Integrated Formal Methods
£109.99
Reachability Problems
£49.99
