101- 115 of 115 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
QUICK ADD
Data Refinement:…
by Willem-Paul de Roever, Kai Engelhardt
#47 in Series
Paperback $71.00
Title: Practical Software Testing: A Process-Oriented Approach / Edition 1, Author: Ilene Burnstein
QUICK ADD
Practical Software Testing: A…
by Ilene Burnstein
Explore Series
Paperback $89.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: 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: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
QUICK ADD
Testing Object-Oriented…
by David C. Kung, Pei Hsia, Jerry Gao
#32 in Series
Paperback $110.95
Title: ISO 9000-3: A Tool for Software Product and Process Improvement / Edition 1, Author: Raymond Kehoe
QUICK ADD
ISO 9000-3: A Tool for…
by Raymond Kehoe, Alka Jarvis
Paperback $54.99
Title: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism / Edition 1, Author: Josyula R. Rao
QUICK ADD
Extensions of the UNITY…
by Josyula R. Rao
#908 in Series
Paperback $54.99
Title: Practical Guide To Software Quality Management / Edition 1, Author: John W. Horch
QUICK ADD
Practical Guide To Software…
by John W. Horch
Explore Series
Paperback $93.00
Title: Practical Software Development Techniques: Tools and Techniques for Building Enterprise Software / Edition 1, Author: Edward Crookshanks
QUICK ADD
Practical Software Development…
by Edward Crookshanks
Paperback $49.99
Title: Debugging by Thinking: A Multidisciplinary Approach, Author: Robert Charles Metzger
QUICK ADD
Debugging by Thinking: A…
by Robert Charles Metzger
Explore Series
Paperback $86.95
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: Successful Test Management: An Integral Approach / Edition 1, 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: 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: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / Edition 1, Author: Eyal Bin
QUICK ADD
Hardware and Software,…
by Eyal Bin, Avi Ziv, Shmuel Ur
#4383 in Series
Paperback $54.99
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Model Checking Software: 10th…
by Thomas Ball, Sriram K. Rajamani
#2648 in Series
Paperback $54.99

Pagination Links