Bookbot

Handbook of Theoretical Computer Science - B: Formal Models and Semantics

Meer over het boek

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.

Een boek kopen

Handbook of Theoretical Computer Science - B: Formal Models and Semantics, Jan van Leeuwen

Taal
Jaar van publicatie
1990
Bindwijze
(Hardcover),
Staat van het boek
Beschadigd
Prijs
€ 54,99

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Titel
Handbook of Theoretical Computer Science - B: Formal Models and Semantics
Taal
Engels
Jaar van publicatie
1990
Formaat
Hardcover
Aantal pagina's
1280
ISBN10
0444880747
ISBN13
9780444880741
Reeks
Aantekening
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.