221- 237 of 237 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers, Author: Robert M. Hierons
QUICK ADD
Formal Methods and Testing: An…
by Robert M. Hierons (Editor), Jonathan P. Bowen (Editor), Mark Harman (Editor)
#4949 in Series
Paperback $54.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: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 / Edition 1, Author: Felix Redmill
QUICK ADD
Practical Elements of Safety:…
by Felix Redmill, Tom Anderson
Paperback $169.99
Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: Second…
by Miroslaw Malek (Editor), Edgar Nett (Editor), Neeraj Suri (Editor)
#3694 in Series
Paperback $54.99
Title: NUnit Pocket Reference: Up and Running with NUnit, Author: Bill Hamilton
QUICK ADD
NUnit Pocket Reference: Up and…
by Bill Hamilton
Explore Series
Paperback $9.95
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
QUICK ADD
Rigorous Development of…
by Michael Butler (Editor), Cliff Jones (Editor), Alexander Romanovsky (Editor), Elena Troubitsyna (Editor)
#4157 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham, Klaus Havelund
#8413 in Series
Paperback $54.99
Title: Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers, Author: Bertrand Meyer
QUICK ADD
Tests and Proofs: First…
by Bertrand Meyer (Editor), Yuri Gurevich (Editor)
#4454 in Series
Paperback $54.99
Title: Testing Computer Software / Edition 2, Author: Cem Kaner
QUICK ADD
Testing Computer Software /…
by Cem Kaner, Jack Falk, Hung Q. Nguyen
Paperback from $48.87 $84.00 Current price is $48.87, Original price is $84.00.
Title: Practical Modern JavaScript: Dive into ES6 and the Future of JavaScript, Author: Nicolas Bevacqua
QUICK ADD
Practical Modern JavaScript:…
by Nicolas Bevacqua
Paperback from $49.99
Title: Pragmatic Unit Testing in Java 8 with JUnit, Author: Jeff Langr
QUICK ADD
Pragmatic Unit Testing in Java…
by Jeff Langr, Andy Hunt, Dave Thomas
Paperback from $30.00
Title: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / Edition 1, Author: Patrick Godefroid
QUICK ADD
Model Checking Software: 12th…
by Patrick Godefroid
#3639 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / Edition 1, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy, Jim Briggs
#1251 in Series
Paperback $54.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Managing Software Quality: A Measurement Framework for Assessment and Prediction, Author: Richard E. Nance
QUICK ADD
Managing Software Quality: A…
by Richard E. Nance, James D. Arthur
Explore Series
Paperback $54.99
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Paperback $169.99
Title: Keyword Driven Framework in UFT: With Complete Source Code, Author: Susan Thomas
QUICK ADD
Keyword Driven Framework in…
by Susan Thomas
Paperback $19.00

Pagination Links