81- 100 of 195 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 / Edition 1, Author: Felix Redmill
QUICK ADD
Practical Elements of Safety:…
by Felix Redmill, Tom Anderson
Paperback $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: 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: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / Edition 1, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf, Laurent Mounier
#2989 in Series
Paperback $54.99
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / Edition 1, Author: Renï Alt
QUICK ADD
Numerical Software with Result…
by Renï Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther
#2991 in Series
Paperback $54.99
Title: Artificial Intelligence Methods In Software Testing, Author: Mark Last
QUICK ADD
Artificial Intelligence…
by Mark Last, Abraham Kandel, Horst Bunke
#56 in Series
Hardcover $120.00
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
Title: Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings / Edition 1, Author: Albert Llamosi
QUICK ADD
Reliable Software Technologies…
by Albert Llamosi, Alfred Strohmeier
#3063 in Series
Paperback $54.99
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1, Author: Rajeev Alur
QUICK ADD
Computer Aided Verification:…
by Rajeev Alur, Doron A. Peled
#3114 in Series
Paperback $109.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Hardcover $54.99
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings / Edition 1, Author: T. Dingsïyr
QUICK ADD
Software Process Improvement:…
by T. Dingsïyr
#3281 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / Edition 1, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
#3219 in Series
Paperback $54.99
Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
QUICK ADD
Embedded Processor-Based…
by Dimitris Gizopoulos, A. Paschalis, Yervant Zorian
#28 in Series
Hardcover $169.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: Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement / Edition 1, Author: Jeff Tian
QUICK ADD
Software Quality Engineering:…
by Jeff Tian
Explore Series
Hardcover $130.95
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / Edition 1, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser
#3335 in Series
Paperback $54.99
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill, Tom Anderson
Paperback $169.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: Expert .NET Delivery Using NAnt and CruiseControl.NET / Edition 1, Author: Josh Holmes
QUICK ADD
Expert .NET Delivery Using…
by Josh Holmes
Explore Series
Hardcover $54.99
Title: Fit for Developing Software: Framework for Integrated Tests / Edition 1, Author: Rick Mugridge
QUICK ADD
Fit for Developing Software:…
by Rick Mugridge, Ward Cunningham
Explore Series
Paperback $86.44

Pagination Links