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
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy new from $88.05
eBook from $29.99
|
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
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $78.11
eBook from $29.70
|
Foundations of Software...
Dorothy Graham
Buy new from $24.45
|
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 $74.07
eBook from $48.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
|
Effective Functional...
Srivatsa Vasudevan
Buy new from $56.11
eBook from $29.70
|
Software Verification and...
Steven R Rakitin
Buy new from $75.45
|
PEFA, Public Financial...
World Bank
Buy new from $40.21
|
Open Verification Methodology...
Mark Glasser
Buy new from $87.26
eBook from $32.70
|
Good Computer Validation...
Teri Stokes,
Ronald C Branning
Buy new from $81.57
|
