Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy new from $51.64
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy new from $51.64
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy new from $51.65
eBook from $16.50
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from $51.65
eBook from $16.50
|
New Trends in Constraints:...
Krzysztof R Apt (Editor),
Antonis Kakas (Editor)
Buy new from $51.64
eBook from $16.50
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy new from $51.65
eBook from $16.50
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy new from $51.65
eBook from $16.50
|
Abstraction, Reformulation,...
Berthe Y Choueiry (Editor),
Toby Walsh (Editor)
Buy new from $51.65
eBook from $16.50
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy new from $103.32
eBook from $29.70
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy new from $51.64
eBook from $16.50
|
Logic-Based Program Synthesis...
Annalisa Bossi (Editor)
Buy new from $51.65
eBook from $16.50
|
Computer Aided Verification:...
E Allen Emerson (Editor),
A Prasad Sistla (Editor)
Buy new from $103.32
eBook from $29.70
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy new from $103.32
eBook from $29.70
|
Compiler Construction: 9th...
David A Watt (Editor)
Buy new from $51.65
eBook from $16.50
|
Evolvable Systems: From...
Julian F Miller (Editor),
Adrian Thompson (Editor)
Buy new from $51.64
eBook from $16.50
|
Programming Languages and...
Gert Smolka (Editor)
Buy new from $51.65
eBook from $16.50
|
Fundamental Approaches to...
Tom Maibaum (Editor)
Buy new from $51.65
eBook from $16.50
|
Foundation of Software...
Jerzy Tiuryn (Editor)
Buy new from $51.65
eBook from $16.50
|
Functional and Logic...
Aart Middeldorp (Editor),
Taisuke Sato (Editor)
Buy new from $51.65
eBook from $16.50
|
Correct Hardware Design and...
Laurence Pierre (Editor),
Thomas Kropf (Editor)
Buy new from $51.64
eBook from $16.50
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy new from $51.65
eBook from $16.50
|
Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy new from $51.65
eBook from $16.50
|
Applied Formal Methods - Fm...
Dieter Hutter (Editor),
Werner Stephan (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
|
