Kupuješ přesně tu knihu, která je na fotce
Parametry
- 1280 stránek
- 45 hodin čtení
Více o knize
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.
Nákup knihy
Handbook of Theoretical Computer Science - B: Formal Models and Semantics, Jan van Leeuwen
- Jazyk
- Rok vydání
- 1990
- Vazba
- (pevná),
- Stav knihy
- Poškozená
- Cena
- 1 349 Kč
Nikdo zatím neohodnotil.
- Titul
- Handbook of Theoretical Computer Science - B: Formal Models and Semantics
- Jazyk
- anglicky
- Autoři
- Jan van Leeuwen
- Vydavatel
- Elsevier Science
- Rok vydání
- 1990
- Vazba
- pevná
- Počet stran
- 1280
- ISBN10
- 0444880747
- ISBN13
- 9780444880741
- Série
- Kategorie
- Štítky
- Příručky a návody, Logika, Hardware, Syntax, skladba, slovosled, Optimalizace, Kombinatorika, Počítačová gramotnost
- Anotace
- 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.