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