61- 80 of 106 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rüdiger Olderog
Explore Series
Hardcover $109.99
Title: Software Reliability Methods, Author: Doron A. Peled
QUICK ADD
Software Reliability Methods
by Doron A. Peled, E.M. Clarke (Foreword by)
Explore Series
Hardcover $54.99
Title: Software Verification And Validation For Practitioners And Managers 2nd Ed., Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Hardcover $109.00
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
QUICK ADD
Concurrency Verification:…
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
#54 in Series
Hardcover $284.00
Title: Software Verification And Validation, Author: Steven R. Rakitin
QUICK ADD
Software Verification And…
by Steven R. Rakitin
Explore Series
Hardcover $90.00
Title: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia
QUICK ADD
Reliability and Robustness of…
by C.A. Brebbia (Editor), A.J. Ferrante (Editor)
Hardcover $54.99
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
QUICK ADD
Software Quality Assurance:…
by Abu Sayed Mahfuz
Explore Series
Hardcover $180.00
Title: Manage Software Testing, Author: Peter Farrell-Vinay
QUICK ADD
Manage Software Testing
by Peter Farrell-Vinay
Hardcover $170.00
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects, Author: Jean-Jacques Pierre Henry
QUICK ADD
The Testing Network: An…
by Jean-Jacques Pierre Henry
Hardcover $54.99
Title: Artificial Intelligence Methods In Software Testing, Author: Mark Last
QUICK ADD
Artificial Intelligence…
by Mark Last (Editor), Abraham Kandel (Editor), Horst Bunke (Editor)
#56 in Series
Hardcover $120.00
Title: Practical Software Testing: A Process-Oriented Approach, Author: Ilene Burnstein
QUICK ADD
Practical Software Testing: A…
by Ilene Burnstein
Explore Series
Hardcover $119.99
Title: High Integrity Software, Author: Victor L. Winter
QUICK ADD
High Integrity Software
by Victor L. Winter (Editor), Sourav Bhattacharya (Editor)
#577 in Series
Hardcover $169.99
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
QUICK ADD
Data Flow Analysis: Theory and…
by Uday Khedker, Amitabha Sanyal, Bageshri Sathe
Hardcover $190.00
Title: Testing Object-Oriented Software: Life Cycle Solutions, Author: Imran Bashir
QUICK ADD
Testing Object-Oriented…
by Imran Bashir, Amrit L. Goel
Hardcover $54.99
Title: New Trends in Software Methodologies, Tools and Techniques: Proceedings of Lyee-w02, Author: SAGE Publications
QUICK ADD
New Trends in Software…
by SAGE Publications, Paul Johannesson (Editor)
Explore Series
Hardcover $109.00
Title: Introduction to Fuzzy Reliability, Author: Kai-Yuan Cai
QUICK ADD
Introduction to Fuzzy…
by Kai-Yuan Cai
#363 in Series
Hardcover $169.99
Title: Metrics-Driven Enterprise Software Development: Effectively Meeting Evolving Business Needs, Author: Subhajit Datta
QUICK ADD
Metrics-Driven Enterprise…
by Subhajit Datta
Hardcover $69.95
Title: Successful Test Management: An Integral Approach, Author: Iris Pinkster
QUICK ADD
Successful Test Management: An…
by Iris Pinkster, Bob van de Burgt, Dennis Janssen, Erik van Veenendaal
Hardcover $54.99
Title: Software Reliability Handbook, Author: Rook
QUICK ADD
Software Reliability Handbook
by Rook (Editor)
Hardcover $219.99
Title: Software Verification and Analysis: An Integrated, Hands-On Approach, Author: Janusz Laski
QUICK ADD
Software Verification and…
by Janusz Laski, William Stanley
Hardcover $54.99

Pagination Links