101- 120 of 173 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
Paperback $54.99
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf (Editor), Laurent Mounier (Editor)
#2989 in Series
Paperback $54.99
Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 14th…
by Dragan Bosnacki (Editor), Stefan Edelkamp (Editor)
#4595 in Series
Paperback $54.99
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
#6617 in Series
Paperback $54.99
Title: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
QUICK ADD
Reliable Software Technologies…
by Jean-Pierre Rosen (Editor), Alfred Strohmeier (Editor)
#2655 in Series
Paperback $54.99
Title: Introduction to Software Testing: A Practical Guide to Testing, Design, Automation, and Execution, Author: Panagiotis Leloudas
QUICK ADD
Introduction to Software…
by Panagiotis Leloudas
Paperback $54.99
Title: Software Maintenance: Concepts And Practice (Second Edition), Author: Penny Grubb
QUICK ADD
Software Maintenance: Concepts…
by Penny Grubb, Armstrong A Takang
Paperback $77.00
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
QUICK ADD
Model-Based Software Testing…
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Paperback $51.00
Title: Practical Software Testing: A Process-Oriented Approach, Author: Ilene Burnstein
QUICK ADD
Practical Software Testing: A…
by Ilene Burnstein
Explore Series
Paperback $89.99
Title: Life Cycle Management For Dependability, Author: Felix Redmill
QUICK ADD
Life Cycle Management For…
by Felix Redmill (Editor), T. Anderson (Preface by), Chris Dale (Editor)
Paperback $109.99
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi (Editor)
#926 in Series
Paperback $54.99
Title: Service Availability: 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings, Author: Miroslaw Malek
QUICK ADD
Service Availability: 4th…
by Miroslaw Malek (Editor), Manfred Reitenspieß (Editor), Aad van Moorsel (Editor)
#4526 in Series
Paperback $54.99
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rüdiger Olderog
Explore Series
Paperback $89.99
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
QUICK ADD
Test Examples for Nonlinear…
by W. Hock, Klaus Schittkowski
#187 in Series
Paperback $54.99
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund (Editor), John Penix (Editor), Willem Visser (Editor)
#1885 in Series
Paperback $54.99
Title: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
QUICK ADD
A Guide to Selecting Software…
by Capers Jones
Paperback $56.99
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund (Editor)
#1411 in Series
Paperback $54.99
Title: Intelligent Crowdsourced Testing, Author: Qing Wang
QUICK ADD
Intelligent Crowdsourced…
by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng
Paperback $109.99
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glïck (Editor), Peter Thiemann (Editor)
#1110 in Series
Paperback $54.99

Pagination Links