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 Basket
Introduction 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 Basket
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 Basket
Software Testing and Continuous Quality Improvement
William E. (President and CEO, Smartware Technologies, Inc., Pl Lewis
Out of stock
Format: Book (Hardback)
Software Error Detection through Testing and Analysis
J. C. (University of Houston) Huang
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 Basket
Component-Based Software Testing with UML
Hans-Gerhard Gross
Item not Available
Format: Book (Hardback)
£84.99
£69.79
Item not Available
Book (Hardback)
String Analysis for Software Verification and Security
Tevfik Bultan
Out of stock
Format: Book (Hardback)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Out of stock
Format: Book (Hardback)
Thinking-Driven Testing : The Most Reasonable Approach to Quality Control
Adam Roman
Item not Available
Format: Book (Hardback)
£54.99
£46.05
Item not Available
Book (Hardback)
Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techniques
Bart Vermeulen
Out of stock
Format: Book (Hardback)
Software Testing Automation : Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Saeed Parsa
Out of stock
Format: Book (Hardback)
Systems and Software Testing Techniques and Frameworks
Jovan Pehcevski
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£159.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Software Verification and Analysis : An Integrated, Hands-On Approach
Janusz Laski
Item not Available
Format: Book (Hardback)
£71.39
£58.59
Item not Available
Book (Hardback)
Research Anthology on Agile Software, Software Development, and Testing, VOL 1
Information R Management Association
Out of stock
Format: Book (Hardback)
Research Anthology on Agile Software, Software Development, and Testing, VOL 2
Information R Management Association
Out of stock
Format: Book (Hardback)
