Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy from $2.58
eBook from $11.20
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $28.44
eBook from $48.99
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $1.38
eBook from $12.99
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy from $4.00
|
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
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy from $98.99
|
Principles of Functional...
Andreas Meyer
Buy from $17.01
|
Independent Verification and...
Robert O Lewis
Buy from $3.67
|
SystemVerilog for...
Chris Spear
Buy from $49.95
|
Software Verification and...
Steven R Rakitin
Buy from $12.17
|
Game Testing All in One
Robert Bryant
Buy from $42.43
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
|
Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $1.76
|
Software Verification and...
Steven R Rakitin
Buy from $23.56
eBook from $82.00
|
Verificationism: Its History...
C J Misak
Buy from $20.00
eBook from $36.85
|
Foundations of Software...
Dorothy Graham
Buy from $5.00
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $1.96
eBook from $44.99
|
Endgame: Solving the Iraq...
William "Scott" Ritter,
Scott Ritter
Buy from $2.02
|
Hardware Design Verification:...
William K Lam
Buy from $110.93
|
Verification and Validation...
Patrick J. Roache
Buy from $366.58
|
Methodological Pragmatism
Nicholas Rescher
Buy from $205.24
|
