Lessons Learned in Software...
Cem Kaner,
James Bach
Buy from $1.65
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $88.05
eBook from $29.99
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $1.08
eBook from $12.99
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $58.68
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy from $15.07
eBook from $82.00
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $47.83
eBook from $29.70
|
Foundations of Software...
Dorothy Graham
Buy from $5.14
|
The Science and Art of Using...
Philip Pugh
Buy from $40.84
eBook from $13.50
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy from $10.48
|
Handbook of Formal Analysis...
Sedat Akleylek (Editor),
Besik Dundua (Editor)
Buy from $59.83
eBook from $50.60
|
Guide to Software...
Nikolai Kosmatov (Editor),
Virgile Prevosto (Editor)
Buy from $53.34
eBook from $16.50
|
Independent Verification and...
Robert O Lewis
Buy from $3.67
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $47.86
eBook from $64.00
|
Systemverilog for...
Chris Spear
Buy from $6.01
eBook from $21.00
|
Hardware Design Verification:...
William K Lam
Buy from $314.99
|
Verification Under the...
Ralf Trapp
Buy from $67.60
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $20.28
eBook from $48.99
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy from $87.09
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $17.11
eBook from $25.79
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy from $47.05
eBook from $16.50
|
SystemVerilog for...
Chris Spear
Buy from $22.97
|
Abstraction Refinement for...
Chao Wang,
Gary D Hachtel
Buy from $7.99
eBook from $29.70
|
Verificationism: Its History...
C J Misak
Buy from $20.00
eBook from $38.50
|
Good Computer Validation...
Teri Stokes,
Ronald C Branning
Buy from $15.95
|
