161- 180 of 180 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Paperback $54.99
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / Edition 1, Author: Rocco De Nicola
QUICK ADD
Trustworthy Global Computing:…
by Rocco De Nicola, Davide Sangiorgi
#3705 in Series
Paperback $54.99
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / Edition 1, Author: Eyal Bin
QUICK ADD
Hardware and Software,…
by Eyal Bin, Avi Ziv, Shmuel Ur
#4383 in Series
Paperback $54.99
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
QUICK ADD
Trustworthy Global Computing:…
by Martín Abadi, Alberto Lluch Lafuente
#8358 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: Software Change Impact Analysis / Edition 1, Author: Robert Arnold
QUICK ADD
Software Change Impact…
by Robert Arnold, Shawn Bohner
#49 in Series
Paperback $101.95
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: 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: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998, Author: Felix Redmill
QUICK ADD
Industrial Perspectives of…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.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: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 14th…
by Dragan Bosnacki (Editor), Stefan Edelkamp (Editor)
#4595 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: Software Testing in the Cloud: Migration and Execution, Author: Scott Tilley
QUICK ADD
Software Testing in the Cloud:…
by Scott Tilley, Tauhida Parveen
Explore Series
Paperback $54.99
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / Edition 1, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf, Laurent Mounier
#2989 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: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4 / Edition 1, Author: Michael Haug
QUICK ADD
Software Process Improvement:…
by Michael Haug, Eric W. Olsen, Lars Bergman
#4 in Series
Paperback $54.99
Title: Applying Software Metrics / Edition 1, Author: Paul Oman
QUICK ADD
Applying Software Metrics /…
by Paul Oman, Shari Lawrence Pfleeger
#46 in Series
Paperback $101.95
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: 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: 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