Mandrioli, Dino. <br/><br/>
Theoretical foundations of computer science / 
Dino Mandrioli and Carlo Ghezzi 
 - New York :  John Wiley & Sons,  c1987. 
 - xxv, 471 pages :  illustrations ;  24 cm. 
<br/><br/>Includes index. 
<br/><br/>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. 
<br/><br/> The contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses. 
<br/><br/><label>ISBN: </label>0471838349 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MATHEMATICS -- 1961<br/>ELECTRONIC DATA PROCESSING -- MATHEMATICS
<br/><br/><label>LC Class. No.: </label>QA 39.2 .M36 1987