Handbook of Theoretical Computer Science

Voorkant
Jan van Leeuwen, Jan Leeuwen
Elsevier Science, 15 nov 2005 - 2269 pagina's
Presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Vanuit het boek

Inhoudsopgave

Dominique PERRIN
3
PREFACE LIST OF CONTRIBUTORS TO VOLUME B CONTENTS CHAPTER 1 FINITE AUTOMATA D Perrin 1 Introduction
4
Finite automata and recognizable sets
10
Copyright

41 andere gedeelten niet getoond

Overige edities - Alles bekijken

Veelvoorkomende woorden en zinsdelen

Bibliografische gegevens