161- 179 of 179 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Edition 1, Author: John Hatcliff
QUICK ADD
Partial Evaluation: Practice…
by John Hatcliff, Torben Mogensen, Peter Thiemann
#1706 in Series
Paperback $54.99
Title: Learning Test-Driven Development: A Polyglot Guide to Writing Uncluttered Code, Author: Saleem Siddiqui
QUICK ADD
Learning Test-Driven…
by Saleem Siddiqui
Paperback $65.99
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / Edition 1, Author: Rune Winther
QUICK ADD
Computer Safety, Reliability,…
by Rune Winther, Bjoern Axel Gran, Gustav Dahll
#3688 in Series
Paperback $54.99
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26 / Edition 1, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
#4346 in Series
Paperback $54.99
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Paperback $54.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Paperback $54.99
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: 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: 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

Pagination Links