Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Bertrand Meyer
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers
Robert M. Hierons
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Franz Wotawa
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketQuality Software Through Reuse and Integration
Stuart H. Rubin
Item not Available
Format: Book (Paperback / softback)
£179.99
£154.85
Item not Available
Book (Paperback / softback)
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketVerification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Kamel Barkaoui
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketStatic Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Francesco Ranzato
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Procee
Alessandro Fantechi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketVerification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Isil Dillig
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketString Analysis for Software Verification and Security
Tevfik Bultan
Out of stock
Format: Book (Paperback / softback)
Unraveling Software Maintenance and Evolution : Thinking Outside the Box
Ervin Varga
Out of stock
Format: Book (Paperback / softback)
Testing Software and Systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings
Inmaculada Medina-Bulo
Out of stock
Format: Book (Paperback / softback)
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)
Software Reliability Modeling : Fundamentals and Applications
Shigeru Yamada
Item not Available
Format: Book (Paperback / softback)
£44.99
£37.59
Item not Available
Book (Paperback / softback)
Automated Software Testing : Foundations, Applications and Challenges
Ajay Kumar Jena
Out of stock
Format: Book (Paperback / softback)
Better Code : Goals for Software Developers
Sean Parent
Coming Soon
Format: Book (Paperback / softback)
£26.99
£23.95
Coming Soon
Book (Paperback / softback)