A Basis for Theoretical Computer Science (Monographs in Computer Science)

Computability (Monographs in Theoretical Computer Science. An EATCS Series)

Algebraic Semantics (Lecture Notes in Computer Science, 99)

Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)

The Foundations of Program Verification (Series in Computer Science) (German Edition)

Mathematical Foundations of Computer Science. Volume I: Sets, Relations, and Induction. Text and Monographs in Computer Science

Mathematics for Computing (Macmillan computer science series)

A Programming Approach to Computability (Monographs in Computer Science)

Mathematical Foundations for Computing

Language Equations (Monographs in Computer Science)

Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithment, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat

Description