Transactions on High...
Per Stenstr÷m (Editor),
David Whalley (Editor)
Buy new from $51.65
eBook from $29.70
|
Separation Logic for High...
Felix Winterstein
Buy new from $103.32
eBook from $38.70
|
Language Equations
Ernst L Leiss
Buy new from $51.65
eBook from $16.50
|
P-PROLOG: A Parallel Logic...
Rong Yang
Buy new from $44.63
eBook from $121.00
|
Static Analysis: 18th...
Eran Yahav (Editor)
Buy new from $51.65
eBook from $16.50
|
Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy new from $51.65
eBook from $16.50
|
Static Analysis: 16th...
Jens Palsberg (Editor),
Zhendong Su (Editor)
Buy new from $51.65
eBook from $16.50
|
VHDL 101: Everything You Need...
William Kafig
Buy new from $57.14
eBook from $44.95
|
Topics in Theoretical...
Mohammad Reza Mousavi (Editor),
Ji ? Sgall (Editor)
Buy new from $51.65
eBook from $16.50
|
Programming Languages and...
Hongseok Yang (Editor)
Buy new from $103.32
eBook from $29.70
|
Controlling Language in...
Stephen Crabbe
Buy new from $65.75
eBook from $21.00
|
Logic, Language, and...
Martin Aher (Editor),
Daniel Hole (Editor)
Buy new from $51.65
eBook from $16.50
|
Integrated Formal Methods:...
Erika ?brahßm (Editor),
Marieke Huisman (Editor)
Buy new from $84.53
eBook from $27.00
|
Component-Based Software...
George Heineman (Editor),
Ivica Crnkovic (Editor)
Buy new from $44.00
eBook from $16.50
|
Practical Cryptography:...
Saiful Azad (Editor),
Al-Sakib Khan Pathan (Editor)
Buy new from $91.44
eBook from $42.90
|
Non-Deterministic Concurrent...
Reem Bahgat
Buy new from $110.08
eBook from $148.00
|
Refinement in Z and Object-Z:...
Eerke Boiten,
J Derrick
Buy new from $95.46
eBook from $53.70
|
Unifying Theories of...
David Naumann (Editor)
Buy new from $42.26
eBook from $13.50
|
Business Process Management:...
Richard Hull (Editor),
Jan Mendling (Editor)
Buy new from $51.65
eBook from $16.50
|
Practical Aspects of...
Claudio Russo (Editor),
Neng-Fa Zhou (Editor)
Buy new from $51.65
eBook from $16.50
|
Transactions on Aspect...
Shmuel Katz,
Mira Mezini
Buy new from $46.11
eBook from $16.50
|
Computational Logic in Multi...
Nils Bulling (Editor),
Leendert van der Torre (Editor)
Buy new from $51.65
eBook from $16.50
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $102.13
eBook from $47.70
|
High Performance Computing:...
Julian M Kunkel (Editor),
Rio Yokota (Editor)
Buy new from $51.65
eBook from $16.50
|
