Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy from $9.84
eBook from $11.20
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $8.39
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $113.94
eBook from $115.00
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $8.88
|
Principles of Functional...
Andreas Meyer
Buy from $23.86
|
Program Proofs
Buy from $35.37
eBook from $48.99
|
Verificationism: Its History...
C J Misak
Buy from $27.00
eBook from $36.85
|
Foundations of Software...
Dorothy Graham,
Rex Black
Buy from $28.31
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy from $60.65
eBook from $16.50
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $8.96
eBook from $44.99
|
Formal Verification: An...
Erik Seligman, MS,
Tom Schubert
Buy from $148.39
eBook from $99.95
|
Deadly Arsenals: Nuclear,...
Professor Joseph Cirincione,
Jon B Wolfsthal
Buy from $5.56
|
Foundations of Software...
Dorothy Graham
Buy from $10.74
|
Verification Methodology...
Janick Bergeron,
Eduard Cerny
Buy from $108.83
|
Toward Zero Defect Programming
Allan M Stavely
Buy from $23.31
|
Advanced Windows Memory Dump...
Dmitry Vostokov,
Software Diagnostics Services
Buy from $40.82
|
Germ Gambits: The Bioweapons...
Amy Smithson
Buy from $14.62
eBook from $38.00
|
The Comprehensive Nuclear...
National Research Council,
Policy and Global Affairs
Buy from $72.00
eBook from $36.99
|
Temporal Verification of...
Zohar Manna,
Amir Pnueli
Buy from $121.72
|
Timing Verification of...
Farzad Nekoogar
Buy from $38.10
|
Common System and Software...
Donald G. Firesmith
Buy from $52.75
eBook from $47.99
|
The Alienation of Fact:...
Kenneth J Saltman
Buy from $21.42
eBook from $18.99
|
Writing Testbenches using...
Janick Bergeron
Buy from $123.65
|
Logic and Argument
Christopher Kirwan
Buy from $202.99
|
