201- 220 of 253 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers, Author: Eyal Bin
QUICK ADD
Hardware and Software,…
by Eyal Bin (Editor), Avi Ziv (Editor), Shmuel Ur (Editor)
#4383 in Series
Paperback $54.99
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
QUICK ADD
Black-Box Testing: Techniques…
by Boris Beizer
Paperback $50.00
Title: Building Maintainable Software, C# Edition: Ten Guidelines for Future-Proof Code, Author: Joost Visser
QUICK ADD
Building Maintainable Software…
by Joost Visser, Sylvan Rigal, Gijs Wijnholds, Pascal van Eck, Rob van der Leek
Paperback $24.99
Title: API Testing Recipes in Ruby: The Problem Solving Guide to API Testing, Author: Zhimin Zhan
QUICK ADD
API Testing Recipes in Ruby:…
by Zhimin Zhan
#7 in Series
Paperback $17.95
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, Author: Dennis Dams
QUICK ADD
Theoretical and Practical…
by Dennis Dams (Editor), Robert Gerth (Editor), Stefan Leue (Editor), Mieke Massinek (Editor)
#1680 in Series
Paperback $54.99
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: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings, Author: Udo Voges
QUICK ADD
Computer Safety, Reliability…
by Udo Voges (Editor)
#2187 in Series
Paperback $54.99
Title: Fatal Defect: Chasing Killer Computer Bugs, Author: Ivars Peterson
QUICK ADD
Fatal Defect: Chasing Killer…
by Ivars Peterson
Paperback $17.00
Title: Clean Code: A Handbook of Agile Software Craftsmanship, Author: Robert Martin
QUICK ADD
Clean Code: A Handbook of…
by Robert Martin
Explore Series
Paperback $79.79
Title: Contract Testing in Action: With Pact, PactFlow, and GitHub Actions, Author: Marie Cruz
QUICK ADD
Contract Testing in Action:…
by Marie Cruz, Lewis Prescott
Explore Series
Paperback $59.99
Title: JUnit Pocket Guide: Quick Look-up and Advice, Author: Kent Beck
QUICK ADD
JUnit Pocket Guide: Quick Look…
by Kent Beck
Paperback $9.95
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: Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism, Author: Josyula R. Rao
QUICK ADD
Extensions of the UNITY…
by Josyula R. Rao
#908 in Series
Paperback $54.99
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
QUICK ADD
Hardware and Software:…
by Karen Yorav (Editor)
#4899 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
Title: Compiler Specification and Verification, Author: W. Polak
QUICK ADD
Compiler Specification and…
by W. Polak
#124 in Series
Paperback $39.99
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
QUICK ADD
Model Checking Software: 9th…
by Dragan Bosnacki (Editor), Stefan Leue (Editor)
#2318 in Series
Paperback $54.99
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: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy (Editor), Jim Briggs (Editor)
#1251 in Series
Paperback $54.99
Title: Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings, Author: Shaoying Liu
QUICK ADD
Software Fault Prevention,…
by Shaoying Liu (Editor)
#15393 in Series
Paperback $64.99

Pagination Links