Liknande böcker

Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Foundations of Software Science and Computation Structures : 18th Intern...
Bok av Andrew. Pitts
Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated...
Bok av Antje. Düsterhöft
Compiler Construction : 15th International Conference, CC 2006, Held as...
Bok av Alan. Mycroft
Formal Aspects of Component Software : 14th International Conference, FA...
Bok
Practical Aspects of Declarative Languages : 14th International Symposiu...
Bok av Claudio. Russo
Logics in Artificial Intelligence
Bok av Jaime G. Carbonell
Logic for Programming, Artificial Intelligence, and Reasoning : 18th Int...
Bok av Nikolaj. Bjørner

Automated Technology for Verification and Analysis

Bok av Bernd Finkbeiner