ISBNs for computer software verification

ISBN.nu

search for books and compare prices

computer software verification matches 39 work(s)

at beginning | displaying 1 to 25 | next 14 >

show results in order: alphabetically | oldest to newest | newest to oldest

Open Verification Methodology Cookbook

Product Description: This insightful book will help both novice and experienced verification engineers master the Open Verification Methodology through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling.

By Mark Glasser

See complete details on each edition (2 editions listed)

Hardcover:

9781441909671 | Springer Verlag, July 31, 2009, cover price $179.00 | About this edition: Functional verification is an art as much as a science.

Paperback:

9781489985132 | Springer Verlag, November 26, 2014, cover price $179.00 | About this edition: This insightful book will help both novice and experienced verification engineers master the Open Verification Methodology through extensive examples.

Software Testing Foundations: A Study Guide for the Certified Tester Exam

By Tilo Linz, Hans Schaefer and Andreas Spillner

See complete details on each edition (3 editions listed)

Paperback:

9781937538422 | 4th edition (Rocky Nook, March 29, 2014), cover price $44.95

9781933952086 | 2 edition (Rocky Nook, January 1, 2007), cover price $44.95

9783898643634 | Oreilly & Associates Inc, May 4, 2006, cover price $44.00

Program Logics for Certified Compilers

Product Description: Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of Separation Logic at a level accessible to beginning graduate students interested in software verification...read more

By Josiah Dodds (contributor)

See complete details on each edition (1 edition listed)

Hardcover:

9781107048010 | Cambridge Univ Pr, April 21, 2014, cover price $89.99 | About this edition: Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs.

Gradle Beyond the Basics

By Tim Berglund

See complete details on each edition (1 edition listed)

Paperback:

9781449304676 | Oreilly & Associates Inc, August 12, 2013, cover price $24.99

Temporal Verification of Reactive Systems: Safety

Product Description: This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems...read more

By Zohar Manna and Amir Pnueli

See complete details on each edition (2 editions listed)

Hardcover:

9780387944593 | Springer Verlag, May 1, 1995, cover price $219.00

Paperback:

9781461287018 | Springer Verlag, August 22, 2012, cover price $139.00 | About this edition: This book is about the verification of reactive systems.

Software Testing Foundations: A Study Guide for the Certified Tester Exam, Foundation Level, ISTQB Compliant

By Tilo Linz, Hans Schaefer and Andreas Spillner

See complete details on each edition (1 edition listed)

Paperback:

9781933952789 | 3 edition (Rocky Nook, January 28, 2011), cover price $44.95

Software Engineering Reviews and Audits

Product Description: Accurate software engineering reviews and audits have become essential to the success of software companies and military and aerospace programs. These reviews and audits define the framework and specific requirements for verifying software development efforts...read more

By Boyd L. Summers

See complete details on each edition (1 edition listed)

Hardcover:

9781439851456 | Auerbach Pub, January 7, 2011, cover price $99.95 | About this edition: Accurate software engineering reviews and audits have become essential to the success of software companies and military and aerospace programs.

Time for Verification: Essays in Memory of Amir Pnueli

Product Description: This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli’s scientific work, with a focus on the development and the application of formal methods.

By Zohar Manna (editor) and Doron A. Peled (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642137532 | Springer-Verlag New York Inc, July 29, 2010, cover price $129.00 | About this edition: This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli.

Modeling and Verification of Real-time Systems

By Stephan Merz (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9781848210134 | 1 edition (Iste/Hermes Science Pub, April 4, 2008), cover price $245.00

Miscellaneous:

9780470393598 | Iste/Hermes Science Pub, January 5, 2010, cover price $199.95

The Software Audit Guide

Product Description: Audit now there s a word that can strike terror into your heart. Whether it s the IRS looking over your shoulder or a quality tool utilized by your company, it requires accountability. A software audit monitors the development process and provides management with an independent view of the software development status...read more

By John W. Helgeson

See complete details on each edition (1 edition listed)

Hardcover:

9780873897730 | Asq Pr, October 19, 2009, cover price $20.00 | About this edition: Audit now there s a word that can strike terror into your heart.

Verification of Sequential and Concurrent Programs

By Krzysztof R. Apt and Ernst-Rudiger Olderog

See complete details on each edition (3 editions listed)

Hardcover:

9781848827448 | 3 edition (Springer-Verlag New York Inc, October 1, 2009), cover price $89.95

9780387948966 | 2 sub edition (Springer Verlag, May 1, 1997), cover price $129.00

9780387975320 | Springer Verlag, September 1, 1991, cover price $59.95

Principles of Model Checking

By Christel Baier, Joost-Pieter Katoen and Kim G. Larsen (foreword by)

See complete details on each edition (1 edition listed)

Hardcover:

9780262026499 | Mit Pr, May 31, 2008, cover price $75.00

Verification of Systems and Circuits Using Lotos, Petri Nets, and CCs

By Rakefet Kol and Michael Yoeli

See complete details on each edition (3 editions listed)

Hardcover:

9780471704492 | Wiley-Interscience, March 7, 2008, cover price $134.00

Miscellaneous:

9780470253397 | Wiley-Interscience, March 28, 2008, cover price $105.00

Miscellaneous:

9780470253410 | Onl edition (John Wiley & Sons Inc, March 21, 2008), cover price $94.95

Principles of Spin Model Checker

Product Description: This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

By Mordechai Ben-Ari

See complete details on each edition (2 editions listed)

Hardcover:

9780130864987, titled "Anthology of American Literature" | Tch edition (Prentice Hall, June 1, 2000), cover price $55.01 | also contains Anthology of American Literature

Paperback:

9781846287695 | Springer-Verlag New York Inc, January 1, 2008, cover price $59.95 | About this edition: This is the first introductory textbook on Spin, the only requirement is a background in programming.

Anthology of American Literature

By George L. McMichael (editor)

See complete details on each edition (8 editions listed)

Hardcover:

9780130864987 | Tch edition (Prentice Hall, June 1, 2000), cover price $55.01 | also contains Principles of Spin Model Checker

9780130841643 | Tch edition (Prentice Hall, June 1, 2000), cover price $55.01

9780135739730 | 6 tch edition (Prentice Hall, April 1, 1997), cover price $55.01

Paperback:

9780205779390 | 10th edition (Longman Pub Group, June 28, 2010), cover price $146.00

9780132216470 | 9 edition (Prentice Hall, December 15, 2006), cover price $99.00

9780131987999 | 9 edition (Prentice Hall, July 25, 2006), cover price $99.00

9780131829596 | 8th edition (Prentice Hall, October 1, 2003), cover price $79.00

9780131829541 | 8th edition (Prentice Hall, June 1, 2003), cover price $74.40

Software Verification And Validation: An Engineering And Scientific Approach

Product Description: This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry...read more

By Marcus S. Fisher

See complete details on each edition (2 editions listed)

Hardcover:

9780387327259 | Springer-Verlag New York Inc, December 1, 2006, cover price $149.00 | About this edition: This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software.

Paperback:

9781441941008 | Springer Verlag, November 27, 2006, cover price $149.00 | About this edition: This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software.

Verification, Validation And Testing in Software Engineering

'This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications'--Provided by publisher.

By Ana Funes (editor)

See complete details on each edition (3 editions listed)

Hardcover:

9781591408512 | Idea Group Pub, July 31, 2006, cover price $94.95 | About this edition: 'This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications'--Provided by publisher.

Paperback:

9781591408529 | Idea Group Pub, July 30, 2006, cover price $74.95 | About this edition: 'This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications'--Provided by publisher.

Miscellaneous:

9781591408536 | Idea Group Pub, November 22, 2006, cover price $0.04 | About this edition: 'This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications'--Provided by publisher.

Verification And Validation For Quality Of UML 2.0 Models

By Bhuvan Unhelkar

See complete details on each edition (3 editions listed)

Hardcover:

9780471727835 | Wiley-Interscience, July 20, 2005, cover price $128.00

Miscellaneous:

9780471734314 | Wiley-Interscience, September 15, 2005, cover price $99.95

Miscellaneous:

9780471734321 | Onl edition (Wiley-Interscience, September 28, 2005), cover price $89.95

Co-Verification of Hardware and Software for ARM SoC Design

By Jason R. Andrews

See complete details on each edition (1 edition listed)

Paperback:

9780750677301 | Pap/cdr edition (Newnes, August 16, 2004), cover price $82.95

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

By Nachum Dershowitz (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540210023 | Springer-Verlag New York Inc, April 14, 2004, cover price $189.00

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Product Description: This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols...read more (view table of contents, read Amazon.com's description)

By Frank De Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, W. P. De Roever (editor) and Job Zwiers

See complete details on each edition (1 edition listed)

Hardcover:

9780521806084 | Cambridge Univ Pr, November 1, 2001, cover price $329.99 | About this edition: This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols.

Systems and Software Verification: Model-Checking Techniques and Tools

Product Description: Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique...read more (view table of contents, read Amazon.com's description)

By Beatrice Berard (editor), Michel Bidoit (editor), Alain Finkel (editor), Francois Laroussinie (editor) and Antoine Petit (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9783540415237 | Springer-Verlag New York Inc, August 1, 2001, cover price $109.00 | About this edition: Model checking is a powerful approach for the formal verification of software.

Software Verification and Validation for Practitioners and Managers

Product Description: A concise and practical introduction to the basic principles of effective software verification and validation (V&V). This edition has been revised and includes five new chapters and five new appendices focused on management techniques to make your company's software V&V efforts more cost-effective...read more (view table of contents, read Amazon.com's description)

By Steven R. Rakitin

See complete details on each edition (1 edition listed)

Hardcover:

9781580532969 | 2 sub edition (Artech House on Demand, July 1, 2001), cover price $109.00 | About this edition: A concise and practical introduction to the basic principles of effective software verification and validation (V&V).

Verification and Validation of Modern Software-Intensive Systems

(view table of contents)

By Garth R. Mackenzie and G. Gordon Schulmeyer

See complete details on each edition (1 edition listed)

Hardcover:

9780130205841 | Prentice Hall, September 1, 2000, cover price $66.00

Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice

(view table of contents)

By Frans Coenen (editor), European Symposium on Verification (editor) and Anca Vermesan (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780792386452 | Kluwer Academic Pub, September 1, 1999, cover price $289.00

at beginning | displaying 1 to 25 | next 14 >