Wir senden dir das abgebildete Buch
Parameter
- 1280 Seiten
- 45 Lesestunden
Mehr zum Buch
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.
Buchkauf
Handbook of Theoretical Computer Science - B: Formal Models and Semantics, Jan van Leeuwen
- Sprache
- Erscheinungsdatum
- 1990
- Einband
- (Hardcover),
- Buchzustand
- Beschädigt
- Preis
- € 54,99
Keiner hat bisher bewertet.
- Titel
- Handbook of Theoretical Computer Science - B: Formal Models and Semantics
- Sprache
- Englisch
- Autor*innen
- Jan van Leeuwen
- Verlag
- Elsevier Science
- Erscheinungsdatum
- 1990
- Einband
- Hardcover
- Seitenzahl
- 1280
- ISBN10
- 0444880747
- ISBN13
- 9780444880741
- Reihe
- Kategorien
- Schlagwörter
- Handbücher und Anleitungen, Logik, Hardware, Syntax, Satzbau, Wortstellung, Optimierung, Kombinatorik, Computerkompetenz
- Beschreibung
- 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.