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