Numerical Software Verification
3 contributors - Paperback
£44.99
Formal Modeling and Analysis of Timed Systems
2 contributors - Paperback
£49.99
Subscribe to our newsletter, and stay in the loop: