Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy new from $15.11
eBook from $11.20
|
Systemverilog for...
Chris Spear
Buy new from $61.58
eBook from $21.00
|
Program Proofs
Kaleb Leino (Illustrator)
Buy new from $56.02
eBook from $48.99
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy new from $59.71
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy new from $52.97
eBook from $82.00
|
Writing Testbenches:...
Janick Bergeron
Buy new from $72.08
eBook from $35.70
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy new from $69.56
|
Independent Verification and...
Robert O Lewis
Buy new from $67.20
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy new from $11.52
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy new from $48.14
eBook from $64.00
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy new from $100.87
eBook from $99.95
|
Guide to Software...
Nikolai Kosmatov (Editor),
Virgile Prevosto (Editor)
Buy new from $54.13
eBook from $16.50
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy new from $141.76
eBook from $134.75
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy new from $44.30
|
Foundations of Software...
Dorothy Graham
Buy new from $31.64
|
Verificationism: Its History...
C J Misak
Buy new from $66.22
eBook from $36.85
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy new from $168.03
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy new from $47.82
eBook from $16.50
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy new from $27.35
eBook from $44.99
|
The Science and Art of Using...
Philip Pugh
Buy new from $41.45
eBook from $13.50
|
Software Testing: A Guide to...
Martin Pol,
Ruud Teunissen
Buy new from $29.20
|
Co-Verification of Hardware...
Jason Andrews
Buy new from $34.18
eBook from $81.95
|
Hardware Verification with C+...
Mike Mintz,
Robert Ekendahl
Buy new from $75.82
eBook from $32.70
|
Software Verification and...
Steven R Rakitin
Buy new from $82.45
|
