Liknande böcker

Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Logic-Based Program Synthesis and Transformation : 19th International Sy...
Bok av Danny. Schreye
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Logic for Programming, Artificial Intelligence, and Reasoning : 19th Int...
Bok av Ken. McMillan
Practical Aspects of Declarative Languages : 14th International Symposiu...
Bok av Claudio. Russo
Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated...
Bok av Antje. Düsterhöft
Logic for Programming, Artificial Intelligence, and Reasoning : 16th Int...
Bok av Edmund M. Clarke
Declarative Agent Languages and Technologies IV : 4th International Work...
Bok av Matteo. Baldoni

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Bok av Armin. Biere