TY  - BOOK
AU  - Mandrioli, Dino.
AU  - Ghezzi, Carlo
TI  - Theoretical foundations of computer science
SN  - 471838349
AV  - QA 39.2 .M36 1987  
PY  - 1987///
CY  - New York
PB  - John Wiley & Son, Inc.
KW  - MATHEMATICS -- 1961
N1  - 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
N2  - The contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses
ER  -