Computer-Aided Verification...
Robert P. Kurshan
Buy from $55.63
eBook from $65.00
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $113.94
eBook from $99.95
|
Comprehensive Functional...
Bruce Wile,
John Goss
Buy from $24.11
eBook from $85.95
|
Writing Testbenches:...
Janick Bergeron
Buy from $13.06
eBook from $35.70
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy from $83.06
eBook from $134.75
|
Verification and Validation...
William L Oberkampf,
Christopher J Roy
Buy from $108.18
eBook from $143.20
|
Model Checking Quantum...
Mingsheng Ying,
Yuan Feng
Buy from $48.30
eBook from $64.00
|
Program Proofs
Kaleb Leino (Illustrator)
Buy from $35.40
eBook from $48.99
|
Software Verification and...
Steven R Rakitin
Buy from $19.07
eBook from $82.00
|
Verificationism: Its History...
C J Misak
Buy from $27.00
eBook from $36.85
|
Software Testing Foundations,...
Andreas Spillner,
Tilo Linz
Buy from $8.96
eBook from $44.99
|
Hardware Verification with C+...
Mike Mintz,
Robert Ekendahl
Buy from $106.17
eBook from $32.70
|
Principles of the Spin Model...
Mordechai Ben-Ari
Buy from $74.10
eBook from $21.00
|
Standardized Functional...
Alan Wiemann
Buy from $67.45
eBook from $29.70
|
Verification Methodology...
Janick Bergeron,
Eduard Cerny
Buy from $14.10
eBook from $32.70
|
The Science and Art of Using...
Philip Pugh
Buy from $24.13
eBook from $13.50
|
Effective Functional...
Srivatsa Vasudevan
Buy from $21.73
eBook from $29.70
|
Open Verification Methodology...
Mark Glasser
Buy from $13.37
eBook from $32.70
|
The Economics of Software...
Capers Jones,
Olivier Bonsignour
Buy from $20.10
eBook from $62.99
|
Practical Design Verification
Dhiraj K Pradhan,
Ian G Harris
Buy from $75.12
eBook from $131.20
|
EDA for IC System Design,...
Louis Scheffer (Editor),
Luciano Lavagno (Editor)
Buy from $306.99
eBook from $123.75
|
Co-Verification of Hardware...
Jason Andrews
Buy from $33.09
eBook from $81.95
|
The Un Inspections In Iraq:...
Kathleen C Bailey
Buy from $55.72
eBook from $29.15
|
Code Clone Analysis: Research...
Katsuro Inoue (Editor),
Chanchal K. Roy (Editor)
Buy from $145.87
eBook from $50.70
|
