81- 100 of 628 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings, Author: Floor Koornneef
QUICK ADD
Computer Safety, Reliability,…
by Floor Koornneef (Editor), Meine van der Meulen (Editor)
#1943 in Series
Paperback $54.99
Title: Ace the Technical Interview, Author: Michael Rothstein
QUICK ADD
Ace the Technical Interview
by Michael Rothstein, Daniel Rothstein
eBook $27.00
Title: Upgrading and Troubleshooting Your Mac, Author: Gene Steinberg
QUICK ADD
Upgrading and Troubleshooting…
by Gene Steinberg
Explore Series
Paperback $37.00
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: High Integrity Software, Author: Victor L. Winter
QUICK ADD
High Integrity Software
by Victor L. Winter (Editor), Sourav Bhattacharya (Editor)
#577 in Series
Hardcover $169.99
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
QUICK ADD
Model Checking Software: 8th…
by Matthew Dwyer (Editor)
#2057 in Series
Paperback $54.99
Title: Software Reliability Methods, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods
by Doron A. Peled, E.M. Clarke (Foreword by)
Explore Series
Hardcover $54.99
Title: Mutation Testing for the New Century, Author: W. Eric Wong
QUICK ADD
Mutation Testing for the New…
by W. Eric Wong (Editor)
#24 in Series
Hardcover $169.99
Title: Software Verification And Validation For Practitioners And Managers 2nd Ed., Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Hardcover $109.00
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie (Translator), M. Bidoit, A. Finkel, F. Laroussinie
Hardcover $159.99
Title: Software Fault Tolerance Techniques And Implementation, Author: Laura L Pullum
QUICK ADD
Software Fault Tolerance…
by Laura L Pullum
Explore Series
Hardcover $114.00
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00
Title: Managing the Change: Software Configuration and Change Management: Software Best Practice 2, Author: Michael Haug
QUICK ADD
Managing the Change: Software…
by Michael Haug (Editor), Eric W. Olsen (Editor), Gonzalo Cuevas (Editor), Santiago Rementeria (Editor)
#2 in Series
Paperback $54.99
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
QUICK ADD
Software Process Improvement:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Lars Bergman (Editor)
#4 in Series
Paperback $54.99
Title: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
QUICK ADD
Software Quality Approaches:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Luisa Consolini (Editor)
#1 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges (Editor)
#2187 in Series
Paperback $54.99
Title: Lessons Learned in Software Testing: A Context-Driven Approach, Author: Cem Kaner
QUICK ADD
Lessons Learned in Software…
by Cem Kaner, James Bach, Bret Pettichord
Paperback $41.99
Title: Systematic Software Testing, Author: Rick D. Craig
QUICK ADD
Systematic Software Testing
by Rick D. Craig, Stefan P. Jaskiel
Explore Series
Hardcover $87.00
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
QUICK ADD
Components of System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99

Pagination Links