41- 60 of 186 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled (Editor), Michael Wooldridge (Editor)
#5348 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: 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, Author: Dennis Dams
QUICK ADD
Theoretical and Practical…
by Dennis Dams (Editor), Robert Gerth (Editor), Stefan Leue (Editor), Mieke Massinek (Editor)
#1680 in Series
Paperback $54.99
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
QUICK ADD
Numerical Software with Result…
by René Alt (Editor), Andreas Frommer (Editor), R. Baker Kearfott (Editor), Wolfram Luther (Editor)
#2991 in Series
Paperback $54.99
Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
QUICK ADD
A Guide to Software Quality…
by Shravan Pargaonkar
Paperback $67.99
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi (Editor)
#926 in Series
Paperback $54.99
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rüdiger Olderog
Explore Series
Paperback $89.99
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson (Editor), Pekka Abrahamsson (Editor), Richard Messnarz (Editor)
#3792 in Series
Paperback $54.99
Title: Foundations of Software Testing ISTQB Certification, Author: Dorothy Graham
QUICK ADD
Foundations of Software…
by Dorothy Graham, Rex Inc.) Black, Erik van Veenendaal
Paperback $71.50
Title: Software Quality Management VI: Quality Improvement Issues, Author: Chris Hawkins
QUICK ADD
Software Quality Management VI…
by Chris Hawkins (Editor), Margaret Ross (Editor), Geoff Staples (Editor)
Paperback $109.99
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glück (Editor), Peter Thiemann (Editor)
#1110 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: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
QUICK ADD
Embedded Processor-Based…
by Dimitris Gizopoulos, A. Paschalis, Yervant Zorian
#28 in Series
Paperback $169.99
Title: Software Testing: A Self-Teaching Introduction, Author: Rajiv Chopra
QUICK ADD
Software Testing: A…
by Rajiv Chopra
Paperback $54.95
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication, Author: Jasveer Singh
QUICK ADD
Functional Software Size…
by Jasveer Singh
Paperback $134.95
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie (Translator), M. Bidoit, A. Finkel, F. Laroussinie
Paperback $159.99
Title: Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability…
by Stuart Anderson (Editor), Sandro Bologna (Editor), Massimo Felici (Editor)
#2434 in Series
Paperback $54.99
Title: More Test Examples for Nonlinear Programming Codes, Author: Klaus Schittkowski
QUICK ADD
More Test Examples for…
by Klaus Schittkowski
#282 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: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
QUICK ADD
Mathematical Approaches to…
by Gerard O'Regan
Paperback $109.99

Pagination Links