Back TU TTU Subject Area: Computability, Complexity in CIDEC Library.

HANDBOOK OF THEORETICAL COMPUTER SCIENCE
Volume B Formal Models and Semantics

(see also Vol. A: Algorithms and Complexity)

ed. Jan van LEEUWEN

Publisher : Elsevier - Amsterdam ; New York

Bibliographic :

DESCRIPTION:

The second part of this Handbook 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.

REVIEWS:

Addressing the central areas of theoretical computer science, the handbook provides the student or professional with a comprehensive perspective on the main results and developments in this field. Consisting of 37 chapters, written by American and European researchers, it will be ideally suited for study and reference. Current Awareness Bulletin The editor, Jan van Leeuwen, deserves high praise for a job well done. S. Bloom Zentralblatt für Mathematik

CONTENTS:


Back Top Changed 27/01/1997. Comments: monika@cs.ioc.ee