ENGLISH

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

By Jan van Leeuwen (ed.)

Book information

Publisher
Elsevier; MIT Press
Year
1990
ISBN
0262220393, 9780262220392, 0444880747, 978-0-444-88074-1
Language
english
Format
PDF
Filesize
14 MB (14645271 bytes)
Pages
1254\1254
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2014-11-04 21:00:00

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.

Similar books