Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy new from $59.63
eBook from $16.50
|
Applied Formal Methods - Fm...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from $60.57
eBook from $16.50
|
Computer Aided Verification:...
Nicolas Halbwachs (Editor),
Doron Peled (Editor)
Buy new from $60.65
eBook from $16.50
|
Compiler Construction: 8th...
Stefan Jähnichen (Editor)
Buy new from $59.63
eBook from $16.50
|
Fundamental Approaches to...
Jean-Pierre Finance (Editor)
Buy new from $59.63
eBook from $16.50
|
Logic-Based Program Synthesis...
Pierre Flener (Editor)
Buy new from $59.63
eBook from $16.50
|
Algebraic Methodology and...
Armando M Haeberer (Editor)
Buy new from $60.57
eBook from $16.50
|
Field-Programmable Logic and...
Reiner W Hartenstein (Editor),
Andres Keevallik (Editor)
Buy new from $60.57
eBook from $16.50
|
