Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy new from $8.11
eBook from $11.20
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy new from $4.52
eBook from $12.99
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy new from $63.14
|
Independent Verification and...
Robert O Lewis
Buy new from $60.20
|
Computer-Aided Verification...
Robert P. Kurshan
Buy new from $65.43
eBook from $65.00
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy new from $104.94
eBook from $29.99
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy new from $67.10
eBook from $21.00
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy new from $37.30
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy new from $85.96
eBook from $25.79
|
Writing Testbenches:...
Janick Bergeron
Buy new from $65.08
eBook from $35.70
|
Principles of Functional...
Andreas Meyer
Buy new from $83.88
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy new from $144.64
eBook from $134.75
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy new from $48.95
eBook from $64.00
|
Program Proofs
Kaleb Leino (Illustrator)
Buy new from $50.62
eBook from $48.99
|
Verificationism: Its History...
C J Misak
Buy new from $62.92
eBook from $36.85
|
Foundations of Software...
Dorothy Graham
Buy new from $24.38
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy new from $161.03
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy new from $51.65
eBook from $16.50
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy new from $20.35
eBook from $44.99
|
Co-Verification of Hardware...
Jason Andrews
Buy new from $33.86
eBook from $81.95
|
Assertion-Based Design
Harry D Foster,
Adam C Krolnik
Buy new from $51.65
eBook from $16.50
|
The Implementation of Legally...
Marie Isabelle Chevrier (Editor),
Krzysztof Chomiczewski (Editor)
Buy new from $115.27
|
Software Verification and...
Steven R Rakitin
Buy new from $45.97
eBook from $82.00
|
Software Validation,...
Stephen J. Andriole (Editor),
United States
Buy new from $212.80
|
