Handbook of Theoretical Computer Science: Formal models and semantics, Volume 2

Front Cover
Elsevier, Oct 24, 1990 - Computers - 1280 pages
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

D
4
HANDBOOK OF THEORETICAL COMPUTER SCIENCE
53
Loolc PROGRAMMING
55
Copyright

53 other sections not shown

Common terms and phrases

Bibliographic information