Handbook of Theoretical Computer Science

Voorkant
Jan van Leeuwen
Elsevier Science, 1 nov. 2005 - 996 pagina's
0 Recensies
Reviews worden niet geverifieerd, maar Google checkt wel op nepcontent en verwijdert zulke content als die wordt gevonden.
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

Wat mensen zeggen - Een review schrijven

We hebben geen reviews gevonden op de gebruikelijke plaatsen.

Inhoudsopgave

PREFACE V
3
Rational expressions
11
Starheight
19
Copyright

27 andere gedeelten niet getoond

Overige edities - Alles bekijken

Veelvoorkomende woorden en zinsdelen

Bibliografische gegevens