25% Off Pre-Order Books with Code: PREORDER25 for Premium & Reward Members Shop Now
1- 20 of 178 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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 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
Explore Series
Paperback $63.95
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, 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
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
QUICK ADD
Tru64 UNIX Troubleshooting:…
by Martin Moore, Steven Hancock
Explore Series
Paperback $82.95
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham, Klaus Havelund
#8413 in Series
Paperback $54.99
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / Edition 1, Author: Dennis Dams
QUICK ADD
Theoretical and Practical…
by Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
#1680 in Series
Paperback $54.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 R Code / Edition 1, Author: Richard Cotton
QUICK ADD
Testing R Code / Edition 1
by Richard Cotton
Explore Series
Hardcover $59.95
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Paperback $54.99
Title: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
QUICK ADD
Testing Object-Oriented…
by David C. Kung, Pei Hsia, Jerry Gao
#32 in Series
Paperback $110.95

Pagination Links