Theoretical Studies in Computer Science

The Formal Semantics of Programming Languages An Introduction

Foundations of Computing Dynamic Logic (Paperback)

Algorithmic Arithmetic, Geometry, and Coding Theory

Theory of Computation: Formal Languages, Automata, and Complexity (Benjamin/Cummings Series in Computer Science)

Programming Languages and Operational Semantics: A Concise Overview (Undergraduate Topics in Computer Science)

Theory of Computing : A Gentle Introduction

Introduction to the Theory of Automata: Part 1 : Structure

Computation and Automata [first edition]

An Introduction to Formal Languages and Automata

Automata Studies

The New Turing Omnibus

Introduction To Programming Languages (Cambridge Computer Science Texts, 7)

Introduction to Languages and the Theory of Computation

Engineering Computation An Int

Mathematics

Computer Science Distilled: Learn the Art of Solving Computational Problems

Logic and Algorithms with Applications to the Computer and Information Sciences

The Nature of Computation

Applications of Discrete Mathematics