Liknande böcker

Relational and Algebraic Methods in Computer Science : 13th Internationa...
Bok av Wolfram. Kahl
Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam , The...
Bok av Maria. Aloni
Model Checking and Artificial Intelligence
Bok av Ron. Meyden
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy...
Bok av Jean-Christophe. Filliâtre
Relational and Algebraic Methods in Computer Science : 12th Internationa...
Bok av Harrie. Swart
Logics in Artificial Intelligence : 12th European Conference, JELIA 2010...
Bok av Tomi. Janhunen
Automated Reasoning with Analytic Tableaux and Related Methods : 20th In...
Bok av Kai. Brünnler
Relational and Algebraic Methods in Computer Science : 14th Internationa...
Bok av Peter. Höfner

Semantics and Algebraic Specification

Bok av Jens. Palsberg