1- 20 of 348 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Your Code as a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs, Author: Adam Tornhill
QUICK ADD
Your Code as a Crime Scene,…
by Adam Tornhill
Paperback $53.95
Title: xUnit Test Patterns: Refactoring Test Code, Author: Gerard Meszaros
QUICK ADD
xUnit Test Patterns:…
by Gerard Meszaros
Explore Series
eBook $76.99
Title: Writing Scientific Software: A Guide to Good Style, Author: Suely Oliveira
QUICK ADD
Writing Scientific Software: A…
by Suely Oliveira, David E. Stewart
Paperback $68.99
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
Paperback $54.99
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / Edition 1, Author: Nachum Dershowitz
QUICK ADD
Verification: Theory and…
by Nachum Dershowitz
#2772 in Series
Paperback $109.99
Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS / Edition 1, Author: Michael Yoeli
QUICK ADD
Verification of Systems and…
by Michael Yoeli, Rakefet Kol
#53 in Series
Hardcover $149.95
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rüdiger Olderog
Explore Series
Paperback $89.99
Title: Verification and Validation of Rule-Based Expert Systems, Author: Suzanne Smith
QUICK ADD
Verification and Validation of…
by Suzanne Smith, Abraham Kandel
eBook $230.00
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
Paperback $54.99
Title: Verification and Validation for Quality of UML 2.0 Models / Edition 1, Author: Bhuvan Unhelkar
QUICK ADD
Verification and Validation…
by Bhuvan Unhelkar
#42 in Series
Hardcover $143.95
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan
QUICK ADD
Validation and Verification of…
by Anca Vermesan, Frans Coenen
Hardcover $219.99
Title: Using Aspect-Oriented Programming for Trustworthy Software Development / Edition 1, Author: Vladimir O. Safonov
QUICK ADD
Using Aspect-Oriented…
by Vladimir O. Safonov
#5 in Series
Hardcover $149.95
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
QUICK ADD
Unit Testing in Java: How…
by Johannes Link, Peter Fröhlich (Contribution by)
Explore Series
eBook $60.95
Title: Unit Testing in Java: How Tests Drive the Code, Author: Johannes Link
QUICK ADD
Unit Testing in Java: How…
by Johannes Link, Peter Fröhlich
Explore Series
Paperback $63.95
Title: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
QUICK ADD
Unifying the Software Process…
by Mingshu Li (Editor), Barry Boehm (Editor), Leon J. Osterweil (Editor)
#3840 in Series
Paperback $54.99
Title: Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Author: Gilles Barthe
QUICK ADD
Trustworthy Global Computing:…
by Gilles Barthe (Editor), Cédric Fournet (Editor)
#4912 in Series
Paperback $54.99
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / Edition 1, Author: Rocco De Nicola
QUICK ADD
Trustworthy Global Computing:…
by Rocco De Nicola, Davide Sangiorgi
#3705 in Series
Paperback $54.99
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
QUICK ADD
Trustworthy Global Computing:…
by Martín Abadi (Editor), Alberto Lluch Lafuente (Editor)
#8358 in Series
eBook $54.99
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
QUICK ADD
Trustworthy Global Computing:…
by Martín Abadi, Alberto Lluch Lafuente
#8358 in Series
Paperback $54.99
Title: Trust in Technology: A Socio-Technical Perspective / Edition 1, Author: Karen Clarke
QUICK ADD
Trust in Technology: A…
by Karen Clarke, Gillian Hardstone, Mark Rouncefield, Ian Sommerville
#36 in Series
Hardcover $109.99

Pagination Links