Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy from $2.58
eBook from $11.20
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $1.38
eBook from $12.99
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $104.94
eBook from $29.99
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $17.11
eBook from $25.79
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $28.43
eBook from $48.99
|
Game Testing All in One
Robert Bryant
Buy from $35.98
eBook from $18.15
|
Writing Testbenches:...
Janick Bergeron
Buy from $6.06
eBook from $35.70
|
Verification and Validation...
William L Oberkampf,
Christopher J Roy
Buy from $118.18
eBook from $143.20
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $48.30
eBook from $64.00
|
Software Verification and...
Steven R Rakitin
Buy from $23.50
eBook from $82.00
|
Verificationism: Its History...
C J Misak
Buy from $20.00
eBook from $36.85
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $1.96
eBook from $44.99
|
Standardized Functional...
Alan Wiemann
Buy from $67.45
eBook from $29.70
|
Applied Formal Verification:...
Douglas L Perry,
Harry Foster
Buy from $132.37
eBook from $123.00
|
Verifiable Autonomous Systems
Louise A Dennis,
Michael Fisher
Buy from $69.81
eBook from $75.20
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $67.10
eBook from $21.00
|
Practical Design Verification
Dhiraj K Pradhan,
Ian G Harris
Buy from $68.12
eBook from $131.20
|
Co-Verification of Hardware...
Jason Andrews
Buy from $33.09
eBook from $81.95
|
Assertion-Based Design
Harry D Foster,
Adam C Krolnik
Buy from $38.95
eBook from $16.50
|
Open Verification Methodology...
Mark Glasser
Buy from $6.37
eBook from $32.70
|
Effective Functional...
Srivatsa Vasudevan
Buy from $14.73
eBook from $29.70
|
The Science and Art of Using...
Philip Pugh
Buy from $34.13
eBook from $13.50
|
The United Nations and Iraq:...
Jean Krasno,
James S Sutterlin
Buy from $11.00
eBook from $27.47
|
