Learning Java: A Test-Driven...
Joshua Crotts
Buy new from $61.04
eBook from $18.00
|
Advanced Verification...
Leena Singh,
Leonard Drucker
Buy new from $159.69
eBook from $47.70
|
The Science and Art of Using...
Philip Pugh
Buy new from $103.59
eBook from $13.50
|
A Roadmap for Formal Property...
Pallab Dasgupta
Buy new from $33.51
eBook from $29.70
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods in Computer...
Warren A Jr Hunt (Editor),
Steven D Johnson (Editor)
Buy new from $103.32
eBook from $29.70
|
Introduction to Formal...
Thomas Kropf
Buy new from $30.94
eBook from $16.50
|
Correct Hardware Design and...
Laurence Pierre (Editor),
Thomas Kropf (Editor)
Buy new from $51.65
eBook from $16.50
|
