41- 60 of 173 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
QUICK ADD
Advanced Techniques for…
by Juan C. López (Editor), Román Hermida (Editor), Walter Geisselhardt (Editor)
Paperback $169.99
Title: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools, Author: D.J. Smith
QUICK ADD
Engineering Quality Software:…
by D.J. Smith, K.B. Wood
Paperback $109.99
Title: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
QUICK ADD
Reliable Software Technologies…
by Jean-Pierre Rosen (Editor), Alfred Strohmeier (Editor)
#2655 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: 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: 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: Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1, Author: Michael Haug
QUICK ADD
Software Quality Approaches:…
by Michael Haug (Editor), Eric W. Olsen (Editor), Luisa Consolini (Editor)
#1 in Series
Paperback $54.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr. (Editor), Fabio Somenzi (Editor)
#2725 in Series
Paperback $54.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: 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: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
QUICK ADD
Model-Based Software Testing…
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Paperback $51.00
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Paperback $54.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu (Editor), Moshe Y. Vardi (Editor)
#1427 in Series
Paperback $109.99
Title: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
QUICK ADD
A Guide to Selecting Software…
by Capers Jones
Paperback $56.99
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
QUICK ADD
Hardware and Software:…
by Karen Yorav (Editor)
#4899 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
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
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: 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

Pagination Links