81- 100 of 105 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Testing Object-Oriented Software: Life Cycle Solutions, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Hardcover $54.99
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, Author: Anca Vermesan
QUICK ADD
Validation and Verification of…
by Anca Vermesan (Editor), Frans Coenen (Editor)
Hardcover $219.99
Title: Designing Maintainable Software, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Hardcover $54.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: Communication Protocol Specification and Verification, Author: Richard Lai
QUICK ADD
Communication Protocol…
by Richard Lai, Ajin Jirachiefpattana
#464 in Series
Hardcover $219.99
Title: Software Defect and Operational Profile Modeling, Author: Kai-Yuan Cai
QUICK ADD
Software Defect and…
by Kai-Yuan Cai
#4 in Series
Hardcover $219.99
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: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination, Author: Khaled El Emam
QUICK ADD
SPICE: The Theory and Practice…
by Khaled El Emam (Editor), Jean-Normand Drouin (Editor), Walcélio Melo (Editor), Alec Dorling (Foreword by)
#7 in Series
Hardcover $149.95
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece, Author: Dimitris Gritzalis
QUICK ADD
Reliability, Quality and…
by Dimitris Gritzalis
Explore Series
Hardcover $169.99
Title: Software Verification And Validation, Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Explore Series
Hardcover $90.00
Title: Quality of Numerical Software: Assessment and enhancement, Author: Ronald F. Boisvert
QUICK ADD
Quality of Numerical Software:…
by Ronald F. Boisvert (Editor)
Explore Series
Hardcover $169.00
Title: Introduction to Fuzzy Reliability, Author: Kai-Yuan Cai
QUICK ADD
Introduction to Fuzzy…
by Kai-Yuan Cai
#363 in Series
Hardcover $169.99
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
QUICK ADD
Software Performability: From…
by Ann T. Tai, John F. Meyer, Algirdas Avizienis
#347 in Series
Hardcover $169.99
Title: ISO 9000-3: A Tool for Software Product and Process Improvement, Author: Raymond Kehoe
QUICK ADD
ISO 9000-3: A Tool for…
by Raymond Kehoe, Alka Jarvis
Hardcover $109.99
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
QUICK ADD
Temporal Verification of…
by Zohar Manna, Amir Pnueli
Hardcover $109.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
Hardcover $109.99
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn (Editor), J.H. Fetzer (Editor), R.L. Rankin (Editor)
#14 in Series
Hardcover $329.00
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)
Explore Series
Hardcover $169.99
Title: Software Failure Risk: Measurement and Management, Author: S. A. Sherer
QUICK ADD
Software Failure Risk:…
by S. A. Sherer
Explore Series
Hardcover $128.00

Pagination Links