41- 60 of 180 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: Second…
by Miroslaw Malek (Editor), Edgar Nett (Editor), Neeraj Suri (Editor)
#3694 in Series
Paperback $54.99
Title: Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996, Author: Erwin Schoitsch
QUICK ADD
Safe Comp 96: The 15th…
by Erwin Schoitsch (Editor), Austrian Research Centre Seibersdorf (Other)
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, Author: Johann Blieberger
QUICK ADD
Reliable Software Technologies…
by Johann Blieberger (Editor), Alfred Strohmeier (Editor)
#2361 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability…
by Stuart Anderson (Editor), Sandro Bologna (Editor), Massimo Felici (Editor)
#2434 in Series
Paperback $54.99
Title: Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedi / Edition 1, Author: Ralf H. Reussner
QUICK ADD
Quality of Software…
by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker
#3712 in Series
Paperback $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
Paperback $66.99
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / Edition 1, Author: Barbara Paech
QUICK ADD
Requirements Engineering:…
by Barbara Paech, Colette Rolland
#5025 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: Fundamentals Of Software Integration / Edition 1, Author: Kay Hammer
QUICK ADD
Fundamentals Of Software…
by Kay Hammer, Tina Timmerman
Paperback $188.95
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / Edition 1, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy, Jim Briggs
#1251 in Series
Paperback $54.99
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
#6617 in Series
Paperback $54.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: Testing Computer Software / Edition 2, Author: Cem Kaner
QUICK ADD
Testing Computer Software /…
by Cem Kaner, Jack Falk, Hung Q. Nguyen
Paperback from $48.87 $84.00 Current price is $48.87, Original price is $84.00.
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings / Edition 1, Author: Rune Winther
QUICK ADD
Computer Safety, Reliability,…
by Rune Winther, Bjoern Axel Gran, Gustav Dahll
#3688 in Series
Paperback $54.99
Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez
QUICK ADD
Advanced Techniques for…
by Juan C. Lïpez, Romïn Hermida, Walter Geisselhardt
Paperback $169.99
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: Hardening Linux, Author: James Turnbull
QUICK ADD
Hardening Linux
by James Turnbull
Explore Series
Paperback $79.99
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link�ping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
QUICK ADD
Automated and Algorithmic…
by Peter A. Fritzson (Editor)
#749 in Series
Paperback $54.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
Paperback $89.99
Title: Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers, Author: Bertrand Meyer
QUICK ADD
Tests and Proofs: First…
by Bertrand Meyer (Editor), Yuri Gurevich (Editor)
#4454 in Series
Paperback $54.99

Pagination Links