50% Off The Criterion Collection Shop Now
21- 40 of 179 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1, Author: Rajeev Alur
QUICK ADD
Computer Aided Verification:…
by Rajeev Alur, Doron A. Peled
#3114 in Series
Paperback $109.99
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball, Robert B. Jones
#4144 in Series
Paperback $109.99
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / Edition 1, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli
#5419 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges
#2187 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / Edition 1, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson, Massimo Felici, Bev Littlewood
#2788 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / Edition 1, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
#3219 in Series
Paperback $54.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: Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1, 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: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill, Tom Anderson
Paperback $169.99
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science / Edition 1, Author: Mehmet Sahinoglu
QUICK ADD
Cyber-Risk Informatics:…
by Mehmet Sahinoglu
Hardcover $156.75
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
QUICK ADD
Data Refinement:…
by Willem-Paul de Roever, Kai Engelhardt
#47 in Series
Paperback $66.99
Title: Debugging by Thinking: A Multidisciplinary Approach, Author: Robert Charles Metzger
QUICK ADD
Debugging by Thinking: A…
by Robert Charles Metzger
Explore Series
Paperback $86.95
Title: Debugging Embedded Microprocessor Systems, Author: Stuart Ball
QUICK ADD
Debugging Embedded…
by Stuart Ball
Paperback $73.95
Title: Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems, Author: David J. AGANS
QUICK ADD
Debugging: The 9 Indispensable…
by David J. AGANS
Paperback $18.99
Title: Derivation and Validation of Software Metrics, Author: Martin Shepperd
QUICK ADD
Derivation and Validation of…
by Martin Shepperd, Darrel Ince
#9 in Series
Hardcover $33.99
Title: Design Driven Testing: Test Smarter, Not Harder / Edition 1, Author: Doug Rosenberg
QUICK ADD
Design Driven Testing: Test…
by Doug Rosenberg, Matt Stephens
Paperback $49.99
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Paperback $54.99
Title: Developer Testing: Building Quality into Software / Edition 1, Author: Alexander Tarlinder
QUICK ADD
Developer Testing: Building…
by Alexander Tarlinder
Explore Series
Paperback $39.99
Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1, Author: Felix Redmill
QUICK ADD
Developments in Risk-based…
by Felix Redmill, Safety-Critical Systems Club, Tom Anderson
Paperback $109.99

Pagination Links