Handbook of theoretical computer science [electronic resource] / edited by Jan van Leeuwen.
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.
Saved in:
| Online Access: |
Full Text (via ScienceDirect) Full Text (via ScienceDirect) |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ; MIT Press,
1990.
|
| Subjects: |
Internet
Full Text (via ScienceDirect)Full Text (via ScienceDirect)
Online
| Call Number: |
QA76 .H279 1990
|
|---|---|
| QA76 .H279 1990 | Available |