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