Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy from $9.76
eBook from $11.20
|
SystemVerilog for...
Chris Spear
Buy from $29.97
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $8.20
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $59.71
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy from $7.49
eBook from $82.00
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $8.38
|
Writing Testbenches:...
Janick Bergeron
Buy from $12.37
eBook from $35.70
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy from $12.19
|
Independent Verification and...
Robert O Lewis
Buy from $10.67
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $48.14
eBook from $64.00
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $27.36
eBook from $48.99
|
Guide to Software...
Nikolai Kosmatov (Editor),
Virgile Prevosto (Editor)
Buy from $46.70
eBook from $16.50
|
Hardware Design Verification:...
William K Lam
Buy from $343.36
|
Verification Under the...
Ralf Trapp
Buy from $76.60
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $89.52
eBook from $99.95
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy from $141.76
eBook from $134.75
|
Foundations of Software...
Dorothy Graham
Buy from $12.00
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy from $105.99
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $24.11
eBook from $85.95
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy from $47.82
eBook from $16.50
|
Verifiable Autonomous Systems
Louise A Dennis,
Michael Fisher
Buy from $76.81
eBook from $75.20
|
Standardized Functional...
Alan Wiemann
Buy from $66.95
eBook from $29.70
|
The Implementation of Legally...
Marie Isabelle Chevrier (Editor),
Krzysztof Chomiczewski (Editor)
Buy from $13.38
|
Assertion-Based Design
Harry D Foster,
Adam C Krolnik
Buy from $45.93
eBook from $16.50
|
