Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B) - Hardcover

Luisa, Bozzano G

 
9780444880741: Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
Hardcover
ISBN 10: 0444880747 ISBN 13: 9780444880741
Verlag: Elsevier Science Ltd, 1990

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Críticas

Addressing the central areas of theoretical computer science, the handbook provides the student or professional with a comprehensive perspective on the main results and developments in this field. Consisting of 37 chapters, written by American and European researchers, it will be ideally suited for study and reference.
Current Awareness Bulletin
S. Bloom
The editor, Jan van Leeuwen, deserves high praise for a job well done.
Zentralblatt für Mathematik

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0444880747
ISBN 13 
9780444880741
Einband
Tapa dura
Anzahl der Seiten
1273
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Barbara Criscuolo
b.criscuolo@lswr.it

Via Spadolini, 7
Milano
20141
Italien