Semantics, Applications, and...
Walid Taha (Editor)
Buy new from £48.51
eBook from £13.35
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from £48.51
eBook from £13.35
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy new from £47.80
eBook from £13.35
|
New Trends in Constraints:...
Krzysztof R Apt (Editor),
Antonis Kakas (Editor)
Buy new from £48.51
eBook from £13.35
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy new from £48.98
eBook from £13.35
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy new from £48.51
eBook from £13.35
|
Computational Logic -- CL...
John Lloyd, CBE (Editor),
Veronica Dahl (Editor)
Buy new from £52.03
eBook from £13.35
|
Abstraction, Reformulation,...
Berthe Y Choueiry (Editor),
Toby Walsh (Editor)
Buy new from £48.81
eBook from £13.35
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy new from £90.82
eBook from £24.02
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy new from £49.04
eBook from £13.35
|
Logic-Based Program Synthesis...
Annalisa Bossi (Editor)
Buy new from £48.51
eBook from £13.35
|
Computer Aided Verification:...
E Allen Emerson (Editor),
A Prasad Sistla (Editor)
Buy new from £90.82
eBook from £24.02
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy new from £90.82
eBook from £24.02
|
Programming Languages and...
Gert Smolka (Editor)
Buy new from £48.51
eBook from £13.35
|
Compiler Construction: 9th...
David A Watt (Editor)
Buy new from £49.04
eBook from £13.35
|
Evolvable Systems: From...
Julian F Miller (Editor),
Adrian Thompson (Editor)
Buy new from £47.76
eBook from £13.35
|
Fundamental Approaches to...
Tom Maibaum (Editor)
Buy new from £49.04
eBook from £13.35
|
Foundation of Software...
Jerzy Tiuryn (Editor)
Buy new from £49.04
eBook from £13.35
|
Functional and Logic...
Aart Middeldorp (Editor),
Taisuke Sato (Editor)
Buy new from £48.87
eBook from £13.35
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy new from £48.54
eBook from £13.35
|
Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy new from £48.22
eBook from £13.35
|
Applied Formal Methods - Fm...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from £48.51
eBook from £13.35
|
Computer Aided Verification:...
Nicolas Halbwachs (Editor),
Doron Peled (Editor)
Buy new from £49.04
eBook from £13.35
|
Compiler Construction: 8th...
Stefan Jähnichen (Editor)
Buy new from £48.22
eBook from £13.35
|
