Cover Image

Handbook of theoretical computer science /

Show other versions (2)

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.

Bibliographic Details
Corporate Author: ScienceDirect (Online service)
Other Authors: Leeuwen, J. van (Jan)
Format: eBook
Language:English
Published: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, 1990.
Subjects:
Computer science.
Electronic data processing.
Electronic Data Processing
Informatique.
data processing.
computer science.
Electronic data processing
Computer science
Algoritmen.
Modellen.
Complexiteit.
Fundamentele informatica.
Computabilidade E Modelos De Computacao.
Computacao (Metodologia E Tecnicas)
Algorithmes.
Langages de programmation > Sémantique.
Electronic books.
Online Access:Connect to the full text of this electronic book
Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book
Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76 .H279 1990
 
Call Number Status Get It
QA76 .H279 1990 Available