Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)

Jan van Leeuwen

ISBN 10: 0444880747 / ISBN 13: 9780444880741

Verlag: Elsevier Science, 1992

Beschreibung

Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.

Bestandsnummer des Verkäufers Scanned0444880747

Bibliografische Details

• Titel: Formal Models and Semantics (Handbook of Theoretical Computer Science, Vol. B)
• Verlag: Elsevier Science
• Erscheinungsjahr: 1992
• Sprache: Englisch
• ISBN-10: 0444880747
• ISBN-13: 9780444880741
• Einband: Hardcover
• Zustand: new

Über diesen Titel

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.

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