Functional and Logic...
Aart Middeldorp (Editor),
Taisuke Sato (Editor)
Buy from $7.93
eBook from $16.50
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy from $9.45
eBook from $16.50
|
Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy from $7.85
eBook from $16.50
|
Applied Formal Methods - Fm...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy from $6.78
eBook from $16.50
|
Computer Aided Verification:...
Nicolas Halbwachs (Editor),
Doron Peled (Editor)
Buy from $47.51
eBook from $16.50
|
Compiler Construction: 8th...
Stefan Jähnichen (Editor)
Buy from $20.00
eBook from $16.50
|
Fundamental Approaches to...
Jean-Pierre Finance (Editor)
Buy from $15.72
eBook from $16.50
|
Logic-Based Program Synthesis...
Pierre Flener (Editor)
Buy from $28.58
eBook from $16.50
|
Algebraic Methodology and...
Armando M Haeberer (Editor)
Buy from $47.61
eBook from $16.50
|
Field-Programmable Logic and...
Reiner W Hartenstein (Editor),
Andres Keevallik (Editor)
Buy from $48.49
eBook from $16.50
|
Functional and Logic...
Tetsuo Ida (Editor),
Masato Takeichi (Editor)
Buy from $86.42
eBook from $151.00
|
