121- 140 of 173 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: A Practical Approach to Software Quality, Author: Gerard O'Regan
QUICK ADD
A Practical Approach to…
by Gerard O'Regan
Paperback $54.99
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings, Author: Mihaela Bobaru
QUICK ADD
NASA Formal Methods: Third…
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
#6617 in Series
Paperback $54.99
Title: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools, Author: D.J. Smith
QUICK ADD
Engineering Quality Software:…
by D.J. Smith, K.B. Wood
Paperback $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
Paperback $54.99
Title: Mathematical Approaches to Software Quality, Author: Gerard O'Regan
QUICK ADD
Mathematical Approaches to…
by Gerard O'Regan
Paperback $109.99
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
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: 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
Paperback $89.99
Title: Software Testing in the Cloud: Migration and Execution, Author: Scott Tilley
QUICK ADD
Software Testing in the Cloud:…
by Scott Tilley, Tauhida Parveen
Explore Series
Paperback $54.99
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Paperback $169.99
Title: Software Failure Risk: Measurement and Management, Author: Susan A. Sherer
QUICK ADD
Software Failure Risk:…
by Susan A. Sherer
Explore Series
Paperback $54.99
Title: Definitions for Hardware and Software Safety Engineers, Author: M.J.P. van der Meulen
QUICK ADD
Definitions for Hardware and…
by M.J.P. van der Meulen
Paperback $109.99
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz
QUICK ADD
The Testability of Distributed…
by Werner Schütz
#245 in Series
Paperback $109.99
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
QUICK ADD
Theory and Applications of…
by Matti Jarvisalo (Editor), Allen Van Gelder (Editor)
#7962 in Series
Paperback $54.99
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: 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: Software Engineering: A Methodical Approach, Author: Elvis Foster
QUICK ADD
Software Engineering: A…
by Elvis Foster
Paperback $84.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: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional, Author: Rex Black
QUICK ADD
Pragmatic Software Testing:…
by Rex Black
Paperback $52.00
Title: iOS and macOS Performance Tuning: Cocoa, Cocoa Touch, Objective-C, and Swift, Author: Marcel Weiher
QUICK ADD
iOS and macOS Performance…
by Marcel Weiher
Explore Series
Paperback $66.49

Pagination Links