Handbook of theoretical computer science /
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.
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ; MIT Press,
1990.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (2 volumes) : illustrations |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: | 0444880747 9780444880741 0444880712 9780444880710 9781322555072 1322555079 |