1- 20 of 62 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model-Based Software Testing and Analysis with C# / Edition 1, Author: Jonathan Jacky
QUICK ADD
Model-Based Software Testing…
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Paperback $51.00
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional / Edition 1, Author: Rex Black
QUICK ADD
Pragmatic Software Testing:…
by Rex Black
Paperback $52.00
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
#6617 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 / Edition 1, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund, John Penix, Willem Visser
#1885 in Series
Paperback $54.99
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges
#2187 in 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: 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: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings / Edition 1, Author: Barbara Paech
QUICK ADD
Requirements Engineering:…
by Barbara Paech, Colette Rolland
#5025 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund
#1411 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 / Edition 1, Author: Dennis Dams
QUICK ADD
Theoretical and Practical…
by Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
#1680 in Series
Paperback $54.99
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / Edition 1, Author: Hubertus B. Keller
QUICK ADD
Reliable Software Technologies…
by Hubertus B. Keller, Erhard Plïdereder
#1845 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 / Edition 1, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier
#1393 in Series
Paperback $54.99
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / Edition 1, Author: Doron A. Peled
QUICK ADD
Model Checking and Artificial…
by Doron A. Peled, Michael Wooldridge
#5348 in Series
Paperback $54.99
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Paperback $54.99
Title: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / Edition 1, Author: Martin Leucker
QUICK ADD
Runtime Verification: 8th…
by Martin Leucker
#5289 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 (Editor), Alberto Lluch Lafuente (Editor)
#8358 in Series
Paperback $54.99
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / Edition 1, Author: David Kaeli
QUICK ADD
Computer Performance…
by David Kaeli
#5419 in Series
Paperback $54.99
Title: Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings / Edition 1, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson, Pekka Abrahamsson, Richard Messnarz
#3792 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

Pagination Links