Skip to main content alibris logo

Verification Books

Working Effectively with Legacy Code Working Effectively with...

Michael Feathers
Buy from $18.83
eBook from $51.99

Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online Verified: How to Think...

Mike Caulfield, Sam Wineburg
Buy from $8.82
eBook from $13.99

Formal Verification: An Essential Toolkit for Modern Vlsi Design Formal Verification: An...

Erik Seligman, Tom Schubert
Buy from $65.96
eBook from $29.99

Jira Software Essentials: Plan, track, and release great applications with Jira Software, 2nd Edition Jira Software Essentials:...

Patrick Li
Buy from $17.64
eBook from $29.99

Software Testing Strategies: A testing guide for the 2020s Software Testing Strategies:...

Matthew Heusser, Michael Larsen
Buy from $42.93

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features SystemVerilog for...

Chris Spear
Buy from $14.99

Comprehensive Functional Verification: The Complete Industry Cycle Comprehensive Functional...

Bruce Wile, John Goss
Buy from $36.28
eBook from $25.79

The Art of Software Testing The Art of Software Testing

GJ Myers
Buy from $155.41

Program Proofs Program Proofs

Kaleb Leino (Illustrator)
Buy from $74.39

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

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

Verificationism: Its History and Prospects Verificationism: Its History...

C J Misak
Buy from $19.20
eBook from $31.33

Pragmatic Unit Testing in Java 8 with JUnit Pragmatic Unit Testing in...

Jeff Langr, Andy Hunt
Buy from $9.74
eBook from $25.99

Observability with Grafana: Monitor, control, and visualize your Kubernetes and cloud platforms using the LGTM stack Observability with Grafana:...

Rob Chapman, Peter Holmes
Buy from $42.93

Principles of Model Checking Principles of Model Checking

Christel Baier, Joost-Pieter Katoen
Buy from $104.87

Modern Game Testing: Learn how to test games like a pro, optimize testing effort, and skyrocket your QA career Modern Game Testing: Learn...

Nikolina Finska
Buy from $31.77

Power and Performance: Software Analysis and Optimization Power and Performance:...

Jim Kukunas
Buy from $87.94
eBook from $99.95

Cucumber Recipes Cucumber Recipes

Ian Dees, Matt Wynne (Contributions by)
Buy from $2.74
eBook from $28.99

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

Douglas Perry, Harry Foster
Buy from $87.44
eBook from $103.00

Introduction to Software Testing Introduction to Software...

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV Leveraging Applications of...

Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Buy from $65.75

End-to-End Web Testing with Cypress: Explore techniques for automated frontend web testing with Cypress and JavaScript End-to-End Web Testing with...

Waweru Mwaura
Buy from $42.08
eBook from $33.99

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

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

Deadly Arsenals: Nuclear, Biological, and Chemical Threats Deadly Arsenals: Nuclear,...

Professor Joseph Cirincione, Jon B Wolfsthal
Buy from $49.95

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