Image from Syndetics
Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi.
By: Mandrioli, Dino
.
Contributor(s): Ghezzi, Carlo.
Material type: 
BookPublisher: Malabar, Fla. : Krieger Pub. Co., 1993Edition: Reprint ed.Description: xxv, 478 p. : ill. ; 25 cm. + hbk.ISBN: 0894647989 .Subject(s): Mathematics | Computer scienceDDC classification: 511.3
Contents:
Mathematical background -- Models for computer science, automata and grammars -- Solvable and unsolvable problems -- The complexity of computing -- Formal semantics -- Proving program properties -- Nondeterminism and parallel computation.
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| General Lending | MTU Bishopstown Library Lending | 511.3 (Browse shelf(Opens below)) | 1 | Available | 00019139 |
Total holds: 0
Bibliography: (pages 459-469) and index.
Mathematical background -- Models for computer science, automata and grammars -- Solvable and unsolvable problems -- The complexity of computing -- Formal semantics -- Proving program properties -- Nondeterminism and parallel computation.