Automated Technology for Verification and Analysis
2 contributors - Paperback
£59.99
Formal Modeling and Analysis of Timed Systems
£44.99
The Inverse Method
2 authors - Hardback
£138.95
£64.99
