161- 180 of 195 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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
Hardcover $160.00
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 $71.00
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: 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: 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: 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: 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: 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: 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: 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 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 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 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: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Edition 1, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr., Fabio Somenzi
#2725 in Series
Paperback $54.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu, Moshe Y. Vardi
#1427 in Series
Paperback $109.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Hardcover $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: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
QUICK ADD
Communication Protocol…
by Richard Lai, Ajin Jirachiefpattana
#464 in Series
Hardcover $219.99
Title: Cleanroom Software Engineering: A Reader / Edition 1, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95

Pagination Links