Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from $60.03
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy new from $59.12
eBook from $16.50
|
New Trends in Constraints:...
Krzysztof R Apt (Editor),
Antonis Kakas (Editor)
Buy new from $60.57
eBook from $16.50
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy new from $60.57
eBook from $16.50
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy new from $60.57
eBook from $16.50
|
Computational Logic -- CL...
John Lloyd, CBE (Editor),
Veronica Dahl (Editor)
Buy new from $64.35
eBook from $16.50
|
Abstraction, Reformulation,...
Berthe Y Choueiry (Editor),
Toby Walsh (Editor)
Buy new from $60.37
eBook from $16.50
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy new from $112.32
eBook from $29.70
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy new from $60.65
eBook from $16.50
|
Logic-Based Program Synthesis...
Annalisa Bossi (Editor)
Buy new from $60.57
eBook from $16.50
|
Computer Aided Verification:...
E Allen Emerson (Editor),
A Prasad Sistla (Editor)
Buy new from $112.32
eBook from $29.70
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy new from $112.32
eBook from $29.70
|
Compiler Construction: 9th...
David A Watt (Editor)
Buy new from $60.65
eBook from $16.50
|
Evolvable Systems: From...
Julian F Miller (Editor),
Adrian Thompson (Editor)
Buy new from $59.07
eBook from $16.50
|
Programming Languages and...
Gert Smolka (Editor)
Buy new from $60.57
eBook from $16.50
|
Fundamental Approaches to...
Tom Maibaum (Editor)
Buy new from $60.57
eBook from $16.50
|
Foundation of Software...
Jerzy Tiuryn (Editor)
Buy new from $60.65
eBook from $16.50
|
Functional and Logic...
Aart Middeldorp (Editor),
Taisuke Sato (Editor)
Buy new from $60.44
eBook from $16.50
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy new from $60.03
eBook from $16.50
|
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
|
