301- 320 of 370 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Designing Maintainable Software, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
eBook $54.99
Title: Verifying Concurrent Processes Using Temporal Logic, Author: B. T. Hailpern
QUICK ADD
Verifying Concurrent Processes…
by B. T. Hailpern
#129 in Series
Paperback $54.99
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller (Editor), Erhard Plödereder (Editor)
#1845 in Series
Paperback $54.99
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek (Editor), Manfred Reitenspieß (Editor), Jörg Kaiser (Editor)
#3335 in Series
Paperback $54.99
Title: Experimentation in Software Engineering: An Introduction, Author: Claes Wohlin
QUICK ADD
Experimentation in Software…
by Claes Wohlin, Anneliese von Mayrhauser (Foreword by), Per Runeson, Martin Höst, Magnus C. Ohlsson
#6 in Series
eBook $54.99
Title: Introduction to Software Testing: A Practical Guide to Testing, Design, Automation, and Execution, Author: Panagiotis Leloudas
QUICK ADD
Introduction to Software…
by Panagiotis Leloudas
eBook $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, Author: Lubos Brim
QUICK ADD
Formal Methods: Applications…
by Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor)
#4346 in Series
Paperback $54.99
Title: Software Verification and Analysis: An Integrated, Hands-On Approach, Author: Janusz Laski
QUICK ADD
Software Verification and…
by Janusz Laski, William Stanley
Hardcover $54.99
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
QUICK ADD
Test Examples for Nonlinear…
by W. Hock, Klaus Schittkowski
#187 in Series
Paperback $54.99
Title: Service Availability: 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings, Author: Takashi Nanya
QUICK ADD
Service Availability: 5th…
by Takashi Nanya (Editor), Fumihiro Maruyama (Editor), Andras Pataricza (Editor), Miroslaw Malek (Editor)
#5017 in Series
Paperback $54.99
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf (Editor), Laurent Mounier (Editor)
#2989 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
Title: Introduction to Software Testing: A Practical Guide to Testing, Design, Automation, and Execution, Author: Panagiotis Leloudas
QUICK ADD
Introduction to Software…
by Panagiotis Leloudas
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: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, Author: Patrick Godefroid
QUICK ADD
Model Checking Software: 12th…
by Patrick Godefroid (Editor)
#3639 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: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund (Editor), John Penix (Editor), Willem Visser (Editor)
#1885 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: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier (Editor)
#1393 in Series
Paperback $54.99

Pagination Links