1- 20 of 88 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: Model-Based Testing of Reactive Systems: Advanced Lectures / Edition 1, Author: Manfred Broy
QUICK ADD
Model-Based Testing of…
by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
#3472 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: The Testing Network: An Integral Approach to Test Activities in Large Software Projects / Edition 1, Author: Jean-Jacques Pierre Henry
QUICK ADD
The Testing Network: An…
by Jean-Jacques Pierre Henry
Hardcover $54.99
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software / Edition 1, Author: Reinhold Ploesch
QUICK ADD
Contracts, Scenarios and…
by Reinhold Ploesch
Hardcover $54.99
Title: Expert .NET Delivery Using NAnt and CruiseControl.NET / Edition 1, Author: Josh Holmes
QUICK ADD
Expert .NET Delivery Using…
by Josh Holmes
Explore Series
Hardcover $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: 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: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
QUICK ADD
Designing Maintainable…
by Dennis D. Smith
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: 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: 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: 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: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
QUICK ADD
Hardware and Software,…
by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
#3875 in Series
Paperback $54.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Hardcover $54.99
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: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / Edition 1, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega, Andy Wellings
#3555 in Series
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

Pagination Links