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
Search Result 1
Cover Image
Published 1994
Book
Search Result 2
Cover Image
Published 1990
Book
Show all versions (3)