Opening book details…
Can I read Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics on EtoBox?
Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics by Jan van Leeuwen (ed.) is a nonfiction available to read on EtoBox.
What is Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics about?
Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. It consists of thirty-seven chapters in two volumes, all addressing core areas of theoretical computer science as it is practiced today. The material is written by leading American and European researchers, and each volume may be used independently.Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B presents a choice of material on the theory of automata and rewriting systems, the foundations of modem programming languages, logics for program specification and verification, and several chapters on the theoretic modeling of advanced information processing. The organization of each volume reflects the development of theoretical computer science from its classical roots to the modem theoretical approaches in parallel and distributed computing. Extensive bibli
Who reads Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jan van Leeuwen (ed.)
- Publisher
- Elsevier ; MIT Press
- Published
- 1990
- Language
- EN
- ISBN
- 9780444880758
- Category
- nonfiction
- Subjects
- Computer Science, Technology, Science
Other editions & translations
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set (1992)
- Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics Volume A (1990)
- Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics (1992)
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity (1990)
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set (1990)
- Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics (1992)
- Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set (2005)
More by Jan van Leeuwen (ed.)
Browse all works by Jan van Leeuwen (ed.)
Similar books
- Current Trends in Theoretical Computer Science: The Challenge of the New Century (Vol 1: Algorithms and Complexity) (Vol 2: Formal Models and Semantics) — Grzegorz Rozenberg; Arto Salomaa; Gheorghe Paun (2004)
- Handbook of Parallel Computing: Models, Algorithms and Applications (Chapman & Hall/CRC Computer and Information Science Series) — Sanguthevar Rajasekaran and John Reif (2007)
- Formal Syntax and Semantics of Java (Lecture Notes in Computer Science (1523)) — Jim Alves-Foss, Deborah Frincke (auth.), (1999)
- Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science) — Howard Straubing (1994)
- Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series) — Manfred Droste, Werner Kuich, Heiko Vogler (2009)
- Theoretical Foundations of Computer Vision (Computing Supplementa, 11) — Dr. K. Daniilidis (auth.), Prof. Dr. W. Kropatsch, Prof. Dr. R. Klette, Prof. Dr. F. Solina, Prof. Dr. R. Albrecht (1996)
