Lessons Learned in Software...
Cem Kaner,
James Bach
Buy new from $46.72
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy new from $11.52
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy new from $58.68
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy new from $54.19
eBook from $82.00
|
Writing Testbenches:...
Janick Bergeron
Buy new from $72.08
eBook from $35.70
|
Foundations of Software...
Dorothy Graham
Buy new from $30.19
|
The Science and Art of Using...
Philip Pugh
Buy new from $40.84
eBook from $13.50
|
Model Checking
Edmund M Clarke Jr,
Orna Grumberg
Buy new from $69.54
|
Handbook of Formal Analysis...
Sedat Akleylek (Editor),
Besik Dundua (Editor)
Buy new from $59.83
eBook from $50.60
|
Independent Verification and...
Robert O Lewis
Buy new from $67.20
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy new from $47.86
eBook from $64.00
|
Guide to Software...
Nikolai Kosmatov (Editor),
Virgile Prevosto (Editor)
Buy new from $53.34
eBook from $16.50
|
Systemverilog for...
Chris Spear
Buy new from $60.59
eBook from $21.00
|
Verification Under the...
Ralf Trapp
Buy new from $76.60
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy new from $88.05
eBook from $99.95
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy new from $140.74
eBook from $134.75
|
Principles of Model Checking
Christel Baier,
Joost-Pieter Katoen
Buy new from $168.03
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy new from $70.47
eBook from $85.95
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy new from $47.05
eBook from $16.50
|
Program Proofs
Kaleb Leino (Illustrator)
Buy new from $62.76
eBook from $48.99
|
Logic Synthesis and...
Gary D Hachtel,
Fabio Somenzi
Buy new from $71.35
|
Effective Functional...
Srivatsa Vasudevan
Buy new from $56.11
eBook from $29.70
|
Advanced Windows Memory Dump...
Dmitry Vostokov,
Software Diagnostics Services
Buy new from $94.03
|
Co-Verification of Hardware...
Jason Andrews
Buy new from $33.94
eBook from $81.95
|
