|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000054788 |
| 005 |
20170614093000.0 |
| 008 |
090128s1997 nyu eng |
| 020 |
|
|
|a 0387949070 (hbk.)
|
| 020 |
|
|
|a 9780387949079 (hbk.)
|
| 090 |
0 |
0 |
|a QA267
|b .K69 1997
|
| 100 |
1 |
|
|a Kozen, Dexter ,
|d 1951- ,
|e author
|
| 245 |
1 |
0 |
|a Automata and computability
|c Dexter C. Kozen
|
| 260 |
|
|
|a New York :
|b Springer ,
|c c1997
|
| 300 |
|
|
|a xiii, 400 p. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Undergraduate texts in computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [373]-379) and index
|
| 505 |
0 |
|
|a 1-Lectures: 1. Introduction -- 2. Finite automata and regular sets -- 3. Pushdown automata and context-free languages -- 4. Turing machines and effective computability -- 2-Exercises: 5. Homework sets -- 6. Miscellaneous exercises -- 7. Hints and solutions
|
| 650 |
|
0 |
|a Computable functions
|
| 650 |
|
0 |
|a Machine theory
|
| 856 |
4 |
1 |
|3 Table of contents only
|u http://www.loc.gov/catdir/enhancements/fy0815/96037409-t.html
|
| 856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0815/96037409-d.html
|
| 999 |
|
|
|a 1000117423
|b Book
|c OPEN SHELF (30 DAYS)
|e Gong Badak Campus
|
| 999 |
|
|
|a 1000117424
|b Book
|c OPEN SHELF (30 DAYS)
|e Gong Badak Campus
|