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 |