1- 20 of 79 results
Grid View Grid
List View List
Grid View Grid
List View List
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 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: 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
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects / Edition 1, Author: Jean-Jacques Pierre Henry
QUICK ADD
The Testing Network: An…
by Jean-Jacques Pierre Henry
Hardcover $54.99
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
QUICK ADD
The Testability of Distributed…
by Werner Schütz
#245 in Series
Hardcover $109.99
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T / Edition 1, Author: Francisco da Silva
QUICK ADD
The Core Test Wrapper Handbook…
by Francisco da Silva, Teresa McLaurin, Tom Waayers
#35 in Series
Hardcover $169.99
Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns / Edition 1, Author: Said Hamdioui
QUICK ADD
Testing Static Random Access…
by Said Hamdioui
#26 in Series
Hardcover $109.99
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Hardcover $54.99
Title: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
QUICK ADD
Temporal Verification of…
by Zohar Manna, Amir Pnueli
Hardcover $109.99
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie, M. Bidoit, A. Finkel, F. Laroussinie
Hardcover $159.99
Title: System-level Test and Validation of Hardware/Software Systems / Edition 1, Author: Matteo Sonza Reorda
QUICK ADD
System-level Test and…
by Matteo Sonza Reorda, Zebo Peng, Massimo Violante
#17 in Series
Hardcover $109.99
Title: System Software Reliability / Edition 1, Author: Hoang Pham
QUICK ADD
System Software Reliability /…
by Hoang Pham
Explore Series
Hardcover $109.99
Title: Successful Test Management: An Integral Approach / Edition 1, Author: Iris Pinkster
QUICK ADD
Successful Test Management: An…
by Iris Pinkster, Bob van de Burgt, Dennis Janssen, Erik van Veenendaal
Hardcover $54.99
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination / Edition 1, Author: Khaled El Emam
QUICK ADD
SPICE: The Theory and Practice…
by Khaled El Emam, Jean-Normand Drouin, Walcélio Melo, Alec Dorling
#7 in Series
Hardcover $149.95
Title: Software-Implemented Hardware Fault Tolerance / Edition 1, Author: Olga Goloubeva
QUICK ADD
Software-Implemented Hardware…
by Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
Hardcover $169.99
Title: Software Verification and Validation: An Engineering and Scientific Approach / Edition 1, Author: Marcus S. Fisher
QUICK ADD
Software Verification and…
by Marcus S. Fisher
Hardcover $129.99
Title: Software Verification And Validation For Practitioners And Managers 2nd Ed. / Edition 2, Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Hardcover $109.00
Title: Software Verification and Analysis: An Integrated, Hands-On Approach / Edition 1, Author: Janusz Laski
QUICK ADD
Software Verification and…
by Janusz Laski, William Stanley
Hardcover $54.99

Pagination Links