| 000 | 00747cam a22002771a 4500 | ||
|---|---|---|---|
| 999 |
_c16658 _d16658 |
||
| 001 | YPZ18257 | ||
| 003 | YPZ | ||
| 005 | 20230518095001.0 | ||
| 008 | 061211|###########||||||b||||||||||spa|d | ||
| 020 | _a0387949070 | ||
| 040 | _cSIUNPA | ||
| 041 | _aeng | ||
| 044 | _a-us | ||
| 080 | _a519.713 K88a | ||
| 100 | _aKozen, Dexter. | ||
| 245 |
_aAutomata and computability _c/ Dexter Kozen ; editor David Gries |
||
| 260 |
_aIthaca, N.Y. _b : Springer _c, 1997 |
||
| 300 |
_axiii, 400 p. : _bil. |
||
| 490 | _a(Undergraduate texts in computer science) | ||
| 650 | _aLENGUAJES FORMALES | ||
| 650 | _a MAQUINAS DE TURING | ||
| 650 | _a ROBOTICA | ||
| 700 |
_4, ed. _aGries, David |
||
| 700 |
_4, ed. _aSchneider, Fred B. |
||
| 942 |
_cBK _2udc |
||