Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
Nikolai Kosmatov
Pre-Order
Format: Book (Hardback)
Introduction to Static Analysis : An Abstract Interpretation Perspective
Xavier (Research Director, INRIA Paris-Rocquencourt) Rival
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
CyberSecurity in a DevOps Environment : From Requirements to Monitoring
Andrey Sadovykh
Out of stock
Format: Book (Hardback)
Development and Testing of Vehicle Software and its Influence on Sustainable Transport
Antonio Colmenar-Santos
Out of stock
Format: Book (Hardback)
ISTQB® Certified Tester Foundation Level : A Self-Study Guide Syllabus v4.0
Lucjan Stapp
Out of stock
Format: Book (Hardback)
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£69.99
£61.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketIntroduction to Software Testing
Paul (George Mason University, Virginia) Ammann
Out of stock
Format: Book (Hardback)
Guide to Advanced Software Testing, Second Edition
Anne Mette Hass
Out of stock
Format: Book (Hardback)
Introduction to Reliable and Secure Distributed Programming
Christian Cachin
Out of stock
Format: Book (Hardback)
Software Testing
Yogesh (Guru Gobind Singh Indraprastha University, Delhi) Singh
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£56.99
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to BasketSoftware Testing and Continuous Quality Improvement
William E. (President and CEO, Smartware Technologies, Inc., Pl Lewis
Out of stock
Format: Book (Hardback)
Software Quality Assurance : Principles and Practices for the new Paradigm
Nina S. Godbole
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£64.95
£61.89
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketSoftware Reliability Assessment with OR Applications
P.K. Kapur
Item not Available
Format: Book (Hardback)
£219.99
£188.69
Item not Available
Book (Hardback)
Recent Advancements in Software Reliability Assurance
Adarsh Anand
Out of stock
Format: Book (Hardback)
£130.00
£114.65
Item not Available
Book (Hardback)
Practical Implementation of Error Correction Codes
Reed-Muller
Item not Available
Format: Book (Hardback)
£68.95
£58.69
Item not Available
Book (Hardback)
Software Quality Assurance
Claude Y. Laporte
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£95.95
£91.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketModel-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester : Foundation Level
Anne Kramer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£75.95
£73.25
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketEssentials of Software Testing
Ralf (Maynooth University, Ireland) Bierig
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Emerging Technologies for the Evolution and Maintenance of Software Models
Joerg Rech
Item not Available
Format: Book (Hardback)
£177.00
Item not Available
Book (Hardback)
Experimentation for Engineers
David Sweet
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
The Craft of Model-Based Testing
Paul C. (Grand Valley State University, Allendale, Michigan Jorgensen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£120.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketSoftware Quality Assurance : Integrating Testing, Security, and Audit
Abu Sayed Mahfuz
Out of stock
Format: Book (Hardback)
Diagnostic Communication with Road-Vehicles and Non-Road Mobile Machinery
Peter Subke
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£97.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket