141- 160 of 579 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Author: Antti Valmari
QUICK ADD
Model Checking Software: 13th…
by Antti Valmari (Editor)
#3925 in Series
Paperback $54.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: Software Testing and Analysis: Process, Principles and Techniques / Edition 1, Author: Mauro Pezze
QUICK ADD
Software Testing and Analysis:…
by Mauro Pezze, Michal Young
Paperback $129.75
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings, Author: Andreas Riel
QUICK ADD
Systems, Software and Services…
by Andreas Riel (Editor), Rory O'Connor (Editor), Serge Tichkiewitch (Editor), Richard Messnarz (Editor)
#99 in Series
Paperback $54.99
Title: Senate Special Report on Y2K, Author: Robert Bennett
QUICK ADD
Senate Special Report on Y2K
by Robert Bennett
eBook $5.99
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, Author: Johann Blieberger
QUICK ADD
Reliable Software Technologies…
by Johann Blieberger (Editor), Alfred Strohmeier (Editor)
#2361 in Series
Paperback $54.99
Title: Test Automation Engineering Handbook: Learn and implement techniques for building robust test automation frameworks, Author: Manikandan Sambamurthy
QUICK ADD
Test Automation Engineering…
by Manikandan Sambamurthy
eBook $31.99
Title: Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software, Author: Bijay Jayaswal
QUICK ADD
Design for Trustworthy…
by Bijay Jayaswal, Peter Patton
eBook $65.99
Title: High Integrity Software / Edition 1, Author: Victor L. Winter
QUICK ADD
High Integrity Software /…
by Victor L. Winter, Sourav Bhattacharya
#577 in Series
Hardcover $169.99
Title: Software Metrics: A Rigorous and Practical Approach / Edition 2, Author: Norman E. Fenton
QUICK ADD
Software Metrics: A Rigorous…
by Norman E. Fenton, Shari Lawrence Pfleeger
Explore Series
Paperback $124.95
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Edition 1, Author: John Hatcliff
QUICK ADD
Partial Evaluation: Practice…
by John Hatcliff, Torben Mogensen, Peter Thiemann
#1706 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: Program Verification: Fundamental Issues in Computer Science / Edition 1, Author: Timothy T.R. Colburn
QUICK ADD
Program Verification:…
by Timothy T.R. Colburn, J.H. Fetzer, R.L. Rankin
#14 in Series
Hardcover $329.00
Title: Software-Test für Embedded Systems: Ein Praxishandbuch für Entwickler, Tester und technische Projektleiter, Author: Stephan Grünfelder
QUICK ADD
Software-Test für Embedded…
by Stephan Grünfelder
eBook $46.99
Title: The Art of Debugging with GDB, DDD, and Eclipse, Author: Norman Matloff
QUICK ADD
The Art of Debugging with GDB,…
by Norman Matloff, Peter Jay Salzman
eBook $23.99
Title: Advances in Computers: Quality Software Development, Author: MS Zelkowitz Ph.D.
QUICK ADD
Advances in Computers: Quality…
by MS Zelkowitz Ph.D. (Editor)
#66 in Series
eBook $195.00
Title: Software Deployment, Updating, and Patching / Edition 1, Author: Bill Stackpole
QUICK ADD
Software Deployment, Updating,…
by Bill Stackpole, Patrick Hanrion
Explore Series
Hardcover $180.00
Title: Software Reliability and Metrics / Edition 1, Author: N. Fenton
QUICK ADD
Software Reliability and…
by N. Fenton, B. Littlewood
Hardcover $219.99

Pagination Links