Verified: How to Think...
Mike Caulfield,
Sam Wineburg
Buy from $4.39
eBook from $11.20
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $21.95
eBook from $48.99
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $89.52
eBook from $29.99
|
Systemverilog for...
Chris Spear
Buy from $6.02
eBook from $21.00
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $59.71
eBook from $21.00
|
Software Verification and...
Steven R Rakitin
Buy from $20.49
eBook from $82.00
|
Writing Testbenches:...
Janick Bergeron
Buy from $5.34
eBook from $35.70
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $17.11
eBook from $25.79
|
Two Truths and a Lie: Forces...
Ammi-Joan Paquette,
Laurie Ann Thompson
Buy from $1.20
eBook from $12.99
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $48.14
eBook from $64.00
|
Guide to Software...
Nikolai Kosmatov (Editor),
Virgile Prevosto (Editor)
Buy from $54.13
eBook from $16.50
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy from $141.76
eBook from $134.75
|
Verified Software: Theorie,...
Ernie Cohen (Editor),
Andrey Rybalchenko (Editor)
Buy from $47.82
eBook from $16.50
|
Practical Design Verification
Dhiraj K Pradhan,
Ian G Harris
Buy from $68.12
eBook from $131.20
|
EDA for IC System Design,...
Louis Scheffer (Editor),
Luciano Lavagno (Editor)
Buy from $299.99
eBook from $123.75
|
Open Verification Methodology...
Mark Glasser
Buy from $6.37
eBook from $32.70
|
Verification Methodology...
Janick Bergeron,
Eduard Cerny
Buy from $13.85
eBook from $32.70
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $1.96
eBook from $44.99
|
Germ Gambits: The Bioweapons...
Amy Smithson
Buy from $7.42
eBook from $38.00
|
Verifiable Autonomous Systems
Louise A Dennis,
Michael Fisher
Buy from $69.81
eBook from $75.20
|
Code Clone Analysis: Research...
Katsuro Inoue (Editor),
Chanchal K. Roy (Editor)
Buy from $125.27
eBook from $50.70
|
Effective Functional...
Srivatsa Vasudevan
Buy from $15.03
eBook from $29.70
|
The Economics of Software...
Capers Jones,
Olivier Bonsignour
Buy from $13.10
eBook from $62.99
|
Co-Verification of Hardware...
Jason Andrews
Buy from $34.18
eBook from $81.95
|
