Questo è quello che aggiungi al carrello
Parametri
- 1280pagine
- 45 ore di lettura
Maggiori informazioni sul libro
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.
Acquisto del libro
Handbook of Theoretical Computer Science - B: Formal Models and Semantics, Jan van Leeuwen
- Lingua
- Pubblicato
- 1990
- Rilegatura
- (Copertina rigida),
- Condizioni del libro
- Danneggiato
- Prezzo
- 54,99 €
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- Handbook of Theoretical Computer Science - B: Formal Models and Semantics
- Lingua
- Inglese
- Autori
- Jan van Leeuwen
- Editore
- Elsevier Science
- Pubblicato
- 1990
- Formato
- Copertina rigida
- Pagine
- 1280
- ISBN10
- 0444880747
- ISBN13
- 9780444880741
- Serie
- Categoria
- Tag
- Manuali e guide, Logica, Hardware, Sintassi, composizione, ordine delle parole, Ottimizzazione, Combinatoria, Alfabetizzazione Informatica
- Descrizione
- 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.