Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ; MIT Press,
1990.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (2 volumes) : illustrations |
| Bibliografía: | Includes bibliographical references and indexes. |
| ISBN: | 0444880747 9780444880741 0444880712 9780444880710 9781322555072 1322555079 |