Tests and Proofs
2 contributors - Paperback
£44.99
Intelligent Computer Mathematics
£99.99
Automated Reasoning
3 contributors - Paperback
£34.99
Reachability Problems
£54.99
Integrated Formal Methods
£119.99
Subscribe to our newsletter, and stay in the loop: