Program Proofs
Kaleb Leino (Illustrator)
Buy new from $55.14
eBook from $48.99
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy new from $58.68
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy new from $54.19
eBook from $82.00
|
Writing Testbenches:...
Janick Bergeron
Buy new from $72.08
eBook from $35.70
|
The Science and Art of Using...
Philip Pugh
Buy new from $40.84
eBook from $13.50
|
Handbook of Formal Analysis...
Sedat Akleylek (Editor),
Besik Dundua (Editor)
Buy new from $59.83
eBook from $50.60
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy new from $47.86
eBook from $64.00
|
Guide to Software...
Nikolai Kosmatov (Editor),
Virgile Prevosto (Editor)
Buy new from $53.34
eBook from $16.50
|
Systemverilog for...
Chris Spear
Buy new from $60.59
eBook from $21.00
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy new from $88.05
eBook from $99.95
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy new from $70.47
eBook from $85.95
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy new from $47.05
eBook from $16.50
|
Abstraction Refinement for...
Chao Wang,
Gary D Hachtel
Buy new from $31.10
eBook from $29.70
|
Verification and Validation...
William L Oberkampf,
Christopher J Roy
Buy new from $228.70
eBook from $143.20
|
The Economics of Software...
Capers Jones,
Olivier Bonsignour
Buy new from $76.48
eBook from $62.99
|
Practical Design Verification
Dhiraj K Pradhan,
Ian G Harris
Buy new from $91.17
eBook from $131.20
|
Co-Verification of Hardware...
Jason Andrews
Buy new from $33.94
eBook from $81.95
|
Verifiable Autonomous Systems
Louise A Dennis,
Michael Fisher
Buy new from $88.99
eBook from $75.20
|
Verificationism: Its History...
C J Misak
Buy new from $46.69
eBook from $36.85
|
Introduction to Formal...
Thomas Kropf
Buy new from $45.96
eBook from $16.50
|
Germ Gambits: The Bioweapons...
Amy Smithson
Buy new from $33.77
eBook from $38.00
|
A Roadmap for Formal Property...
Pallab Dasgupta
Buy new from $58.86
eBook from $29.70
|
Assertion-Based Design
Harry D Foster,
Adam C Krolnik
Buy new from $47.46
eBook from $16.50
|
Verification Methodology...
Janick Bergeron,
Eduard Cerny
Buy new from $83.45
eBook from $32.70
|
