201- 220 of 237 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Y2k: A World in Crisis?, Author: Warren H. Chaney
QUICK ADD
Y2k: A World in Crisis?
by Warren H. Chaney, Pete Billac (Editor), Wayne Stauffer (Editor), Scott Brasington (Editor), Leann Brasington (Editor)
Paperback $14.95
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
QUICK ADD
Hardware and Software,…
by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
#3875 in Series
Paperback $54.99
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / Edition 1, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson, Massimo Felici, Bev Littlewood
#2788 in Series
Paperback $54.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: 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: 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: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / Edition 1, Author: Patrick Godefroid
QUICK ADD
Model Checking Software: 12th…
by Patrick Godefroid
#3639 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: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
QUICK ADD
Theory and Applications of…
by Matti Jarvisalo (Editor), Allen Van Gelder (Editor)
#7962 in Series
Paperback $54.99
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
QUICK ADD
Black-Box Testing: Techniques…
by Boris Beizer
Paperback $50.00
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: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill
QUICK ADD
Lessons in System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $54.99
Title: Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Author: Gilles Barthe
QUICK ADD
Trustworthy Global Computing:…
by Gilles Barthe (Editor), Cédric Fournet (Editor)
#4912 in Series
Paperback $54.99
Title: Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security, Author: Peter Daniel
QUICK ADD
Safe Comp 97: The 16th…
by Peter Daniel (Editor)
Paperback $109.99
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund
#1411 in Series
Paperback $54.99
Title: A Guide to Software Package Evaluation and Selection: The R2ISC Method, Author: Nathan HOLLANDER
QUICK ADD
A Guide to Software Package…
by Nathan HOLLANDER
Paperback $34.95
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
QUICK ADD
Hardware and Software:…
by Karen Yorav (Editor)
#4899 in Series
Paperback $54.99
Title: Practical Software Maintenance: Best Practices for Managing Your Software Investment / Edition 1, Author: Thomas M. Pigoski
QUICK ADD
Practical Software Maintenance…
by Thomas M. Pigoski
Paperback $95.00
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
Paperback $99.99
Title: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, Author: Bernhard Beckert
QUICK ADD
Tests and Proofs: Second…
by Bernhard Beckert (Editor), Reiner Hähnle (Editor)
#4966 in Series
Paperback $54.99

Pagination Links