Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy new from $8.11
eBook from $11.20
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy new from $40.60
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy new from $4.52
eBook from $12.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 $47.19
eBook from $82.00
|
Foundations of Software...
Dorothy Graham
Buy new from $23.19
|
The Science and Art of Using...
Philip Pugh
Buy new from $40.84
eBook from $13.50
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy new from $62.54
|
Handbook of Formal Analysis...
Sedat Akleylek (Editor),
Besik Dundua (Editor)
Buy new from $59.83
eBook from $50.60
|
Independent Verification and...
Robert O Lewis
Buy new from $60.20
|
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
|
Verification Under the...
Ralf Trapp
Buy new from $67.60
|
Program Proofs
Kaleb Leino (Illustrator)
Buy new from $51.54
eBook from $48.99
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy new from $88.05
eBook from $29.99
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy new from $161.03
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy new from $63.47
eBook from $25.79
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy new from $47.05
eBook from $16.50
|
Advanced Windows Memory Dump...
Dmitry Vostokov,
Software Diagnostics Services
Buy new from $85.03
|
Principles of Functional...
Andreas Meyer
Buy new from $82.75
|
Endgame: Solving the Iraq...
William "Scott" Ritter,
Scott Ritter
Buy new from $49.10
|
The Un Inspections In Iraq:...
Kathleen C Bailey
Buy new from $39.50
eBook from $29.15
|
Software Verification and...
Steven R Rakitin
Buy new from $75.45
|
Design Verification with E
Samir Palnitkar
Buy new from $77.54
|
