Skip to main content
alibris logo

Hardcover Verification Books

Favorites

Condition

Formats

Book subjects like verification

Browse All Subjects




Writing Testbenches Using Systemverilog Writing Testbenches Using...

Janick Bergeron
Buy from $10.55
eBook from $38.70

Introduction to Software Testing Introduction to Software...

Paul Ammann, Jeff Offutt
Buy from $42.17
eBook from $56.00

Verification and Validation in Scientific Computing Verification and Validation...

William L Oberkampf, Christopher J Roy
Buy from $99.99
eBook from $128.80

The Art of Software Testing The Art of Software Testing

GJ Myers
Buy from $155.41

Two Truths and a Lie: Forces of Nature Two Truths and a Lie: Forces...

Ammi-Joan Paquette, Laurie Ann Thompson
Buy from $2.60

Writing Testbenches: Functional Verification of Hdl Models Writing Testbenches:...

Janick Bergeron
Buy from $3.13
eBook from $29.70

Data Flow Analysis: Theory and Practice Data Flow Analysis: Theory...

Uday Khedker, Amitabha Sanyal
Buy from $158.09
eBook from $35.73

Verifying Nuclear Disarmament Verifying Nuclear Disarmament

Thomas Shea
Buy from $209.56

Verification Methodology Manual for Systemverilog Verification Methodology...

Janick Bergeron, Eduard Cerny
Buy from $46.00
eBook from $32.70

Effective Functional Verification: Principles and Processes Effective Functional...

Srivatsa Vasudevan
Buy from $6.16
eBook from $29.70

Assertion-Based Design Assertion-Based Design

Harry D Foster, Adam C Krolnik
Buy from $28.35
eBook from $47.70

Hardware Verification with C++: A Practitioner's Handbook Hardware Verification with C+...

Mike Mintz, Robert Ekendahl
Buy from $4.00
eBook from $32.70

Testing Complex and Embedded Systems Testing Complex and Embedded...

Kim H. Pries, Jon M. Quigley
Buy from $131.52
eBook from $77.00

Software Testing: A Guide to the Tmap (R) Approach Software Testing: A Guide to...

Martin Pol, Ruud Teunissen
Buy from $2.61

The Un Inspections In Iraq: Lessons For Onsite Verification The Un Inspections In Iraq:...

Kathleen C Bailey
Buy from $191.23
eBook from $36.85

Abstraction Refinement for Large Scale Model Checking Abstraction Refinement for...

Chao Wang, Gary D Hachtel
Buy from $38.00

Applied Formal Verification: For Digital Circuit Design Applied Formal Verification:...

Douglas L Perry, Harry Foster
Buy from $87.40
eBook from $103.00

A Unified Approach for Timing Verification and Delay Fault Testing A Unified Approach for Timing...

Mukund Sivaraman, Andrzej J Strojwas
Buy from $88.31

Verification and Control of Hybrid Systems: A Symbolic Approach Verification and Control of...

Paulo Tabuada
Buy from $131.50
eBook from $35.70

The Foundations of Program Verification The Foundations of Program...

Jacques Loeckx, Kurt Sieber
Buy from $8.13

Verifiable Autonomous Systems Verifiable Autonomous Systems

Louise A Dennis, Michael Fisher
Buy from $77.70

Hardware Verification with System Verilog: An Object-Oriented Framework Hardware Verification with...

Mike Mintz, Robert Ekendahl
Buy from $4.99

Software Validation, Verification, Testing, and Documentation Software Validation,...

Stephen J. Andriole (Editor), United States
Buy from $14.00

The Software Audit Guide The Software Audit Guide

John W Helgeson
Buy from $72.08
eBook from $20.00

  1. < Prev
  2. 1
  3. 2
  4. 3
  5. ...
  6. 9
  7. Next >

Related Books
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.