| 000 | 01120nam a2200229Ia 4500 | ||
|---|---|---|---|
| 003 | NULRC | ||
| 005 | 20250520094846.0 | ||
| 008 | 250520s9999 xx 000 0 und d | ||
| 020 | _a471838349 | ||
| 040 | _cNULRC | ||
| 050 | _aQA 39.2 .M36 1987 | ||
| 100 |
_aMandrioli, Dino. _eauthor |
||
| 245 | 0 |
_aTheoretical foundations of computer science / _cDino Mandrioli and Carlo Ghezzi |
|
| 260 |
_aNew York : _bJohn Wiley & Son, Inc., _cc1987 |
||
| 300 |
_axxv, 471 pages : _billustrations ; _c24 cm. |
||
| 504 | _aIncludes index. | ||
| 505 | _aChapter 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. | ||
| 520 | _aThe contents and organization of this book have been used experimentally in numerous courses both in universities and in intensive industrial courses. | ||
| 650 | _aMATHEMATICS -- 1961 | ||
| 700 |
_aGhezzi, Carlo _eco-author |
||
| 942 |
_2lcc _cBK |
||
| 999 |
_c4583 _d4583 |
||