Theoretical foundations of computer science /
Mandrioli, Dino.
Theoretical foundations of computer science / Dino Mandrioli and Carlo Ghezzi - New York : John Wiley & Son, Inc., c1987 - xxv, 471 pages : illustrations ; 24 cm.
Includes index.
Chapter 0. Mathematical Background -- Chapter 1. Models For Computer Science Automata And Grammars -- Chapter 2. Solvable And Unsolvable Problems -- Chapter 3. The Complexity Of Computing -- Chapter 4. Formal Semantics -- Chapter 5. Proving Program Properties -- Chapter 6. Nondeterminism And Parallel Computation.
The contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses.
471838349
MATHEMATICS -- 1961
QA 39.2 .M36 1987
Theoretical foundations of computer science / Dino Mandrioli and Carlo Ghezzi - New York : John Wiley & Son, Inc., c1987 - xxv, 471 pages : illustrations ; 24 cm.
Includes index.
Chapter 0. Mathematical Background -- Chapter 1. Models For Computer Science Automata And Grammars -- Chapter 2. Solvable And Unsolvable Problems -- Chapter 3. The Complexity Of Computing -- Chapter 4. Formal Semantics -- Chapter 5. Proving Program Properties -- Chapter 6. Nondeterminism And Parallel Computation.
The contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses.
471838349
MATHEMATICS -- 1961
QA 39.2 .M36 1987