41- 60 of 182 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: Expert .NET Delivery Using NAnt and CruiseControl.NET / Edition 1, Author: Josh Holmes
QUICK ADD
Expert .NET Delivery Using…
by Josh Holmes
Explore Series
Hardcover $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: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26 / Edition 1, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
#4346 in Series
Paperback $54.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Paperback $54.99
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller, Erhard Plïdereder
#1845 in Series
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: 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: 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: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / Edition 1, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled, Michael Wooldridge
#5348 in Series
Paperback $54.99
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / Edition 1, Author: Renï Alt
QUICK ADD
Numerical Software with Result…
by Renï Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther
#2991 in Series
Paperback $54.99
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Paperback $54.99
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: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Model Checking Software: 10th…
by Thomas Ball, Sriram K. Rajamani
#2648 in Series
Paperback $54.99
Title: Service Availability: 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings / Edition 1, Author: Miroslaw Malek
QUICK ADD
Service Availability: 4th…
by Miroslaw Malek, Manfred Reitenspieß, Aad van Moorsel
#4526 in Series
Paperback $54.99
Title: Successful Test Management: An Integral Approach / Edition 1, Author: Iris Pinkster
QUICK ADD
Successful Test Management: An…
by Iris Pinkster, Bob van de Burgt, Dennis Janssen, Erik van Veenendaal
Hardcover $54.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: Software Reliability Modelling and Identification / Edition 1, Author: Sergio Bittanti
QUICK ADD
Software Reliability Modelling…
by Sergio Bittanti
#341 in Series
Paperback $54.99
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / Edition 1, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser
#3335 in Series
Paperback $54.99

Pagination Links