241- 260 of 542 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings, Author: Andreas Riel
QUICK ADD
Systems, Software and Services…
by Andreas Riel (Editor), Rory O'Connor (Editor), Serge Tichkiewitch (Editor), Richard Messnarz (Editor)
#99 in Series
Paperback $54.99
Title: Managing Software Quality: A Measurement Framework for Assessment and Prediction, Author: Richard E. Nance
QUICK ADD
Managing Software Quality: A…
by Richard E. Nance, James D. Arthur
Explore Series
eBook $54.99
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Edition 1, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund, John Penix, Willem Visser
#1885 in Series
Paperback $54.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
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: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
QUICK ADD
Model Checking Software: 13th…
by Antti Valmari (Editor)
#3925 in Series
Paperback $54.99
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: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Edition 1, Author: John Hatcliff
QUICK ADD
Partial Evaluation: Practice…
by John Hatcliff, Torben Mogensen, Peter Thiemann
#1706 in Series
Paperback $54.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Edition 1, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr., Fabio Somenzi
#2725 in Series
Paperback $54.99
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / Edition 1, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli
#5419 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: 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: An Introduction to the PL/CV2 Programming Logic, Author: R. L. Constable
QUICK ADD
An Introduction to the PL/CV2…
by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
#135 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges
#2187 in Series
Paperback $54.99
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: Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers, Author: Christine Hofmeister
QUICK ADD
Quality of Software…
by Christine Hofmeister (Editor), Ivica Crnkovic (Editor), Ralf H. Reussner (Editor)
#4214 in Series
Paperback $54.99
Title: ISO 9000-3: A Tool for Software Product and Process Improvement / Edition 1, Author: Raymond Kehoe
QUICK ADD
ISO 9000-3: A Tool for…
by Raymond Kehoe, Alka Jarvis
Paperback $54.99
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier
#1393 in Series
Paperback $54.99
Title: Software Quality - ECSQ 2002: Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings, Author: Jyrki Kontio
QUICK ADD
Software Quality - ECSQ 2002:…
by Jyrki Kontio (Editor), Reidar Conradi (Editor)
#2349 in Series
Paperback $54.99

Pagination Links