You'll get the exact copy in the photo
Parameters
- 1280 pages
- 45 hours of reading
More about the book
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.
Book purchase
Handbook of Theoretical Computer Science - B: Formal Models and Semantics, Jan van Leeuwen
- Language
- Released
- 1990
- Binding
- (Hardcover),
- Book condition
- Damaged
- Price
- €54.99
Payment methods
No one has rated yet.
- Title
- Handbook of Theoretical Computer Science - B: Formal Models and Semantics
- Language
- English
- Authors
- Jan van Leeuwen
- Publisher
- Elsevier Science
- Released
- 1990
- Format
- Hardcover
- Pages
- 1280
- ISBN10
- 0444880747
- ISBN13
- 9780444880741
- Series
- Categories
- Tags
- References & Manuals, Logic, Hardware, Syntax, Composition, Word Order, Optimization, Combinatorics, Computer Literacy
- Description
- 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.