Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $1.34
eBook from $12.99
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy from $4.98
|
Independent Verification and...
Robert O Lewis
Buy from $3.67
|
Computer-Aided Verification...
Robert P. Kurshan
Buy from $48.63
eBook from $65.00
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $104.94
eBook from $29.99
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $60.79
eBook from $21.00
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $17.11
eBook from $25.79
|
Writing Testbenches:...
Janick Bergeron
Buy from $6.06
eBook from $35.70
|
Principles of Functional...
Andreas Meyer
Buy from $16.82
|
SystemVerilog for...
Chris Spear
Buy from $49.95
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy from $144.63
eBook from $134.75
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $48.95
eBook from $64.00
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $28.34
eBook from $48.99
|
Verificationism: Its History...
C J Misak
Buy from $20.00
eBook from $36.85
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $1.88
|
Foundations of Software...
Dorothy Graham
Buy from $3.56
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy from $98.99
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy from $51.65
eBook from $16.50
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $1.96
eBook from $44.99
|
Effective Functional...
Srivatsa Vasudevan
Buy from $15.02
eBook from $29.70
|
Germ Gambits: The Bioweapons...
Amy Smithson
Buy from $7.58
eBook from $38.00
|
Verifiable Autonomous Systems
Louise A Dennis,
Michael Fisher
Buy from $69.81
eBook from $75.20
|
Design Verification with E
Samir Palnitkar
Buy from $4.12
|
Deadly Arsenals: Nuclear,...
Professor Joseph Cirincione,
Jon B Wolfsthal
Buy from $2.41
|
