Liknande böcker

Functional Programming Patterns in Scala and Clojure: Write Lean Program...
Bok av Michael Bevilacqua-Linn
Anwendungsentwicklung mit Datenbanken
Bok av Michael Unterstein
Verification, Model Checking, and Abstract Interpretation : 13th Interna...
Bok av Viktor. Kuncak
Automated Reasoning
Bok av Stéphane. Demri
Foundations of Software Technology and Theoretical Computer Science
Bok av Kesav V. Nori
Foundations of Software Science and Computational Structures : 12th Inte...
Bok av Luca. Alfaro
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloq...
Bok av David. Hutchison

Logikkalkule in der Informatik

Bok av Michael Schenke