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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Leeuwen, J. van (Jan)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, 1990.
Temas:
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�emantique.
Acceso en línea:Texto completo
Texto completo

Ejemplares similares

Ejemplares similares