501- 520 of 603 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Temporal Verification of Reactive Systems: Safety, Author: Zohar Manna
QUICK ADD
Temporal Verification of…
by Zohar Manna, Amir Pnueli
Hardcover $109.99
Title: Life Cycle Management For Dependability, Author: Felix Redmill
QUICK ADD
Life Cycle Management For…
by Felix Redmill (Editor), T. Anderson (Preface by), Chris Dale (Editor)
Paperback $109.99
Title: System-level Test and Validation of Hardware/Software Systems, Author: Matteo Sonza Reorda
QUICK ADD
System-level Test and…
by Matteo Sonza Reorda (Editor), Zebo Peng (Editor), Massimo Violante (Editor)
#17 in Series
Hardcover $109.99
Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns, Author: Said Hamdioui
QUICK ADD
Testing Static Random Access…
by Said Hamdioui
#26 in Series
Hardcover $109.99
Title: Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997, Author: Felix Redmill
QUICK ADD
Safer Systems: Proceedings of…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Trust in Technology: A Socio-Technical Perspective, Author: Karen Clarke
QUICK ADD
Trust in Technology: A…
by Karen Clarke (Editor), Gillian Hardstone (Editor), Mark Rouncefield (Editor), Ian Sommerville (Editor)
#36 in Series
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
Paperback $109.99
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: Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes, Author: Fabian Wolf
QUICK ADD
Behavioral Intervals in…
by Fabian Wolf
Hardcover $109.99
Title: System Software Reliability, Author: Hoang Pham
QUICK ADD
System Software Reliability
by Hoang Pham
Explore Series
Paperback $109.99
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rüdiger Olderog
Explore Series
Hardcover $109.99
Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006, Author: Felix Redmill
QUICK ADD
Developments in Risk-based…
by Felix Redmill (Editor), Safety-Critical Systems Club (Other), Tom Anderson (Editor)
Paperback $109.99
Title: Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995), Author: Roger Shaw
QUICK ADD
Safety and Reliability of…
by Roger Shaw (Editor)
Paperback $109.99
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
QUICK ADD
Patterns for Performance and…
by Chris Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman
eBook $110.00
Title: Testing Object-Oriented Software, Author: David C. Kung
QUICK ADD
Testing Object-Oriented…
by David C. Kung, Pei Hsia, Jerry Gao
#32 in Series
Paperback $110.95
Title: Software Fault Tolerance Techniques And Implementation, Author: Laura L Pullum
QUICK ADD
Software Fault Tolerance…
by Laura L Pullum
Explore Series
Hardcover $114.00
Title: Cleanroom Software Engineering: A Reader, Author: Jesse Poore
QUICK ADD
Cleanroom Software Engineering…
by Jesse Poore
Explore Series
Hardcover $114.95
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
QUICK ADD
Patterns for Performance and…
by Chris Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman
Hardcover $115.00
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
QUICK ADD
Patterns for Performance and…
by Chris Ford, Ido Gileadi, Sanjiv Purba, Mike Moerman
eBook $115.00
Title: Handbook of Software Quality Assurance, Author: G. Gordon Schulmeyer
QUICK ADD
Handbook of Software Quality…
by G. Gordon Schulmeyer
Hardcover $119.00

Pagination Links