Tools and Algorithms for the Construction and Analysis of Systems 2 contributors - Paperback £31.49 was £34.99Find out more
Tools and Algorithms for the Construction and Analysis of Systems 2 contributors - Paperback £31.49 was £34.99Find out more
Formal Modeling and Analysis of Timed Systems 2 contributors - Paperback £40.49 was £44.99Find out more
Automated Technology for Verification and Analysis 3 contributors - Paperback £116.99 was £129.99Find out more
Automated Technology for Verification and Analysis 3 contributors - Paperback £98.99 was £109.99Find out more
Verification, Model Checking, and Abstract Interpretation 3 contributors - Paperback £44.99 was £49.99Find out more
Verification, Model Checking, and Abstract Interpretation 3 contributors - Paperback £44.99 was £49.99Find out more
