Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Barbara Jobstmann
Item not Available
Format: Book (Paperback / softback)
£64.99
£53.95
Item not Available
Book (Paperback / softback)
Model-Driven Dependability Assessment of Software Systems
Simona Bernardi
Out of stock
Format: Book (Paperback / softback)
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Corina S Pasareanu
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Madhusudan Parthasarathy
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)
Mastering Postman : A Comprehensive Guide to Building End-to-End APIs with Testing, Integration and Automation
Oliver James
Out of stock
Format: Book (Paperback / softback)
Automated Software Testing : Foundations, Applications and Challenges
Ajay Kumar Jena
Out of stock
Format: Book (Paperback / softback)
