161- 173 of 173 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Successful Test Management: An Integral Approach, Author: Iris Pinkster
QUICK ADD
Successful Test Management: An…
by Iris Pinkster, Bob van de Burgt, Dennis Janssen, Erik van Veenendaal
Paperback $59.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: Software Reliability and Testing, Author: Hoang Pham
QUICK ADD
Software Reliability and…
by Hoang Pham
#52 in Series
Paperback $88.95
Title: Model-Based Testing of Reactive Systems: Advanced Lectures, Author: Manfred Broy
QUICK ADD
Model-Based Testing of…
by Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
#3472 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: 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: Software Reliability Modelling and Identification, Author: Sergio Bittanti
QUICK ADD
Software Reliability Modelling…
by Sergio Bittanti (Editor)
#341 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: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
QUICK ADD
Reliable Software Technologies…
by Fabrice Kordon (Editor), Tullio Vardanega (Editor)
#5026 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: 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: 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

Pagination Links