Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy new from $51.65
eBook from $16.50
|
Software Verification and...
Steven R Rakitin
Buy new from $73.47
eBook from $82.00
|
Testing It: An Off-The-Shelf...
John Watkins
Buy new from $107.25
eBook from $53.60
|
Model Checking Software: 8th...
Matthew Dwyer (Editor)
Buy new from $51.65
eBook from $16.50
|
Monitoring the Comprehensive...
Frode Ringdal (Editor),
Brian L N Kennett (Editor)
Buy new from $103.32
eBook from $29.70
|
Formal Methods in Computer...
Warren A Jr Hunt (Editor),
Steven D Johnson (Editor)
Buy new from $5.90
eBook from $29.70
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from $51.65
eBook from $16.50
|
Verification of the...
Dr. Malcolm R Dando (Editor),
G S Pearson (Editor)
Buy new from $206.66
eBook from $62.70
|
Computer Aided Verification:...
E Allen Emerson (Editor),
A Prasad Sistla (Editor)
Buy new from $103.32
eBook from $29.70
|
The UNSCOM Saga: Chemical and...
Graham S. Pearson
Buy new from $103.32
eBook from $29.70
|
Writing Testbenches:...
Janick Bergeron
Buy new from $105.05
eBook from $29.70
|
Introduction to Formal...
Thomas Kropf
Buy new from $51.65
eBook from $16.50
|
Correct Hardware Design and...
Laurence Pierre (Editor),
Thomas Kropf (Editor)
Buy new from $51.65
eBook from $16.50
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy new from $51.65
eBook from $16.50
|
Computer Aided Verification:...
Nicolas Halbwachs (Editor),
Doron Peled (Editor)
Buy new from $51.65
eBook from $16.50
|
Verification 1997: The Vertic...
Richard Guthrie
Buy new from $73.26
eBook from $42.90
|
Verificationism: Its History...
C J Misak
Buy new from $55.41
eBook from $32.45
|
Verification and Validation...
Suzanne Smith,
Abraham Kandel
Buy new from $161.50
eBook from $115.50
|