61- 80 of 179 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham (Editor), Klaus Havelund (Editor)
#8413 in Series
Paperback $54.99
Title: More Test Examples for Nonlinear Programming Codes, Author: Klaus Schittkowski
QUICK ADD
More Test Examples for…
by Klaus Schittkowski
#282 in Series
Paperback $54.99
Title: Practical Software Testing: A Process-Oriented Approach, Author: Ilene Burnstein
QUICK ADD
Practical Software Testing: A…
by Ilene Burnstein
Explore Series
Paperback $89.99
Title: Advanced Software Testing - Vol. 1, 2nd Edition: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst, Author: Rex Black
QUICK ADD
Advanced Software Testing -…
by Rex Black
Paperback $54.95
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: Random Number Generators-Principles and Practices: A Guide for Engineers and Programmers, Author: David Johnston
QUICK ADD
Random Number…
by David Johnston
Paperback $107.99
Title: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, Author: Bernhard Beckert
QUICK ADD
Tests and Proofs: Second…
by Bernhard Beckert (Editor), Reiner Hähnle (Editor)
#4966 in Series
Paperback $54.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: 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: 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: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
QUICK ADD
Practical Elements of Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega (Editor), Andy Wellings (Editor)
#3555 in Series
Paperback $54.99
Title: Software Testing: A Self-Teaching Introduction, Author: Rajiv Chopra
QUICK ADD
Software Testing: A…
by Rajiv Chopra
Paperback $54.95
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
QUICK ADD
Embedded Processor-Based…
by Dimitris Gizopoulos, A. Paschalis, Yervant Zorian
#28 in Series
Paperback $169.99
Title: Software Change Impact Analysis, Author: Robert Arnold
QUICK ADD
Software Change Impact…
by Robert Arnold, Shawn Bohner
#49 in Series
Paperback $101.95
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
QUICK ADD
Automated and Algorithmic…
by Peter A. Fritzson (Editor)
#749 in Series
Paperback $54.99
Title: Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers, Author: Christine Hofmeister
QUICK ADD
Quality of Software…
by Christine Hofmeister (Editor), Ivica Crnkovic (Editor), Ralf H. Reussner (Editor)
#4214 in Series
Paperback $54.99
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
QUICK ADD
Model Checking Software: 8th…
by Matthew Dwyer (Editor)
#2057 in Series
Paperback $54.99
Title: Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Author: Gilles Barthe
QUICK ADD
Trustworthy Global Computing:…
by Gilles Barthe (Editor), Cédric Fournet (Editor)
#4912 in Series
Paperback $54.99
Title: Clean Code Cookbook: Recipes to Improve the Design and Quality of your Code, Author: Maximiliano Contieri
QUICK ADD
Clean Code Cookbook: Recipes…
by Maximiliano Contieri
Paperback $65.99

Pagination Links