321- 340 of 355 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball (Editor), Robert B. Jones (Editor)
#4144 in Series
Paperback $109.99
Title: EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP, Author: Orlando Lopez
QUICK ADD
EU Annex 11 Guide to Computer…
by Orlando Lopez
Hardcover $280.00
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
QUICK ADD
Software Process Improvement:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Lars Bergman (Editor)
#4 in Series
Paperback $54.99
Title: Advanced .NET Debugging, Author: Mario Hewardt
QUICK ADD
Advanced .NET Debugging
by Mario Hewardt
Explore Series
eBook $57.99
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: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications, Author: Nikolai Kosmatov
QUICK ADD
Guide to Software Verification…
by Nikolai Kosmatov (Editor), Virgile Prevosto (Editor), Julien Signoles (Editor)
Explore Series
eBook $69.99
Title: Effective Software Maintenance and Evolution: A Reuse-Based Approach, Author: Stanislaw Jarzabek
QUICK ADD
Effective Software Maintenance…
by Stanislaw Jarzabek
Hardcover $160.00
Title: Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996, Author: Erwin Schoitsch
QUICK ADD
Safe Comp 96: The 15th…
by Erwin Schoitsch (Editor), Austrian Research Centre Seibersdorf (Other)
Paperback $54.99
Title: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
QUICK ADD
Mathematical Approaches to…
by Gerard O'Regan
Paperback $109.99
Title: Software Testing and Quality Assurance: Theory and Practice, Author: Kshirasagar Naik
QUICK ADD
Software Testing and Quality…
by Kshirasagar Naik, Priyadarshi Tripathy
Explore Series
Hardcover $152.95
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
QUICK ADD
Partial-Order Methods for the…
by Patrice Godefroid (Editor)
#1032 in Series
Paperback $54.99
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: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Müller-Olm
#1283 in Series
Paperback $54.99
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz
QUICK ADD
The Testability of Distributed…
by Werner Schütz
#245 in Series
Paperback $109.99
Title: System Reliability and Security: Techniques and Methodologies, Author: Javaid Iqbal
QUICK ADD
System Reliability and…
by Javaid Iqbal (Editor), Faheem Syeed Masoodi (Editor), Ishfaq Ahmad Malik (Editor), Shozab Khurshid (Editor), Iqra Saraf (Editor)
Hardcover $210.00
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 $73.00
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
QUICK ADD
Advanced Techniques for…
by Juan C. López (Editor), Román Hermida (Editor), Walter Geisselhardt (Editor)
Hardcover $169.99
Title: The Debugger's Handbook, Author: J.F. DiMarzio
QUICK ADD
The Debugger's Handbook
by J.F. DiMarzio
eBook $160.00
Title: A Practitioner's Guide to Software Test Design, Author: Lee Copeland
QUICK ADD
A Practitioner's Guide to…
by Lee Copeland
Explore Series
Hardcover $83.00
Title: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, Author: Klaus Havelund
QUICK ADD
Formal Approaches to Software…
by Klaus Havelund (Editor), Manuel Núnez (Editor), Grigore Rosu (Editor), Burkhart Wolff (Editor)
#4262 in Series
Paperback $54.99

Pagination Links