81- 100 of 175 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Author: Nachum Dershowitz
QUICK ADD
Verification: Theory and…
by Nachum Dershowitz (Editor)
#2772 in Series
Paperback $109.99
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, Author: Michael Gonzalez Harbour
QUICK ADD
Reliable Software Technologies…
by Michael Gonzalez Harbour (Editor), Juan A. de la Puente (Editor)
#1622 in Series
Paperback $54.99
Title: Managing the Change: Software Configuration and Change Management: Software Best Practice 2, Author: Michael Haug
QUICK ADD
Managing the Change: Software…
by Michael Haug (Editor), Eric W. Olsen (Editor), Gonzalo Cuevas (Editor), Santiago Rementeria (Editor)
#2 in Series
Paperback $54.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: 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
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
QUICK ADD
Reliable Software Technologies…
by Fabrice Kordon (Editor), Tullio Vardanega (Editor)
#5026 in Series
Paperback $54.99
Title: Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers, Author: Robert M. Hierons
QUICK ADD
Formal Methods and Testing: An…
by Robert M. Hierons (Editor), Jonathan P. Bowen (Editor), Mark Harman (Editor)
#4949 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, Author: Shmuel Ur
QUICK ADD
Hardware and Software,…
by Shmuel Ur (Editor), Eyal Bin (Editor), Yaron Wolfsthal (Editor)
#3875 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, Author: Ralf H. Reussner
QUICK ADD
Quality of Software…
by Ralf H. Reussner (Editor), Johannes Mayer (Editor), Judith A. Stafford (Editor), Sven Overhage (Editor), Steffen Becker (Editor)
#3712 in Series
Paperback $54.99
Title: Professional Pen Testing for Web Applications, Author: Andres Andreu
QUICK ADD
Professional Pen Testing for…
by Andres Andreu
Explore Series
Paperback $55.00
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: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings, Author: T. Dingsøyr
QUICK ADD
Software Process Improvement:…
by T. Dingsøyr (Editor)
#3281 in Series
Paperback $54.99
Title: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
QUICK ADD
Formal Aspects of Measurement:…
by Tim Denvir (Editor), Rosalind Herman (Editor), Robin Whitty (Editor)
Explore Series
Paperback $54.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: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
QUICK ADD
Service Availability: Third…
by Dave Penkler (Editor), Manfred Reitenspiess (Editor), Francis Tam (Editor)
#4328 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: 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: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega (Editor), Andy Wellings (Editor)
#3555 in Series
Paperback $54.99
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
QUICK ADD
Model Checking Software: 8th…
by Matthew Dwyer (Editor)
#2057 in Series
Paperback $54.99

Pagination Links