Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy from $5.20
eBook from $11.20
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $1.83
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $1.39
eBook from $12.99
|
Principles of Functional...
Andreas Meyer
Buy from $16.75
|
Program Proofs
Buy from $28.32
eBook from $48.99
|
Foundations of Software...
Dorothy Graham,
Rex Black
Buy from $21.31
|
Verificationism: Its History...
C J Misak
Buy from $20.00
eBook from $36.85
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy from $48.59
eBook from $16.50
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $104.93
eBook from $115.00
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $1.96
eBook from $44.99
|
Formal Verification: An...
Erik Seligman, MS,
Tom Schubert
Buy from $141.39
eBook from $29.99
|
Advanced Windows Memory Dump...
Dmitry Vostokov,
Software Diagnostics Services
Buy from $33.82
|
Foundations of Software...
Dorothy Graham
Buy from $3.24
|
Verification Methodology...
Janick Bergeron,
Eduard Cerny
Buy from $95.64
|
Deadly Arsenals: Nuclear,...
Professor Joseph Cirincione,
Jon B Wolfsthal
Buy from $2.41
|
Germ Gambits: The Bioweapons...
Amy Smithson
Buy from $7.54
eBook from $38.00
|
Toward Zero Defect Programming
Allan M Stavely
Buy from $15.94
|
Co-Verification of Hardware...
Jason Andrews
Buy from $33.86
eBook from $81.95
|
The Comprehensive Nuclear...
National Research Council,
Policy and Global Affairs
Buy from $65.00
eBook from $36.99
|
Temporal Verification of...
Zohar Manna,
Amir Pnueli
Buy from $112.72
|
Timing Verification of...
Farzad Nekoogar
Buy from $30.93
|
The Alienation of Fact:...
Kenneth J Saltman
Buy from $14.42
eBook from $18.99
|
Writing Testbenches using...
Janick Bergeron
Buy from $109.36
|
Logic and Argument
Christopher Kirwan
Buy from $195.99
|
