| 000 | 01067cam a2200265 a 4500 | ||
|---|---|---|---|
| 999 |
_c16871 _d16871 |
||
| 003 | BR-ReIFE | ||
| 005 | 20200711150451.0 | ||
| 008 | 070820t2007 spba gr 001 0 por u | ||
| 020 | _a9788522104994 | ||
| 040 |
_aBR-ReIFE _bpor _cBR-ReIFE |
||
| 082 | 0 | 4 |
_a004 _bS618i |
| 090 |
_a004 _bS618i _c2. ed. |
||
| 100 | 1 |
_aSipser, Michael _91460 |
|
| 240 | 1 | 0 | _aIntroduction to the theory of computation. |
| 245 | 1 | 0 |
_aIntrodução à teoria da computação / _cMichael Sipser ; tradução técnica Ruy José Guerra Barretto de Queiroz. - |
| 260 |
_aSão Paulo : _bThomson Learning, _c2007. |
||
| 300 |
_a459 p. : _bil. |
||
| 500 | _aTítulo original: Introduction to the theory of computation. Tradução da 2. edição norte-americana. Esta obra apersenta a teoria da computação por meio de teoremas e provas. | ||
| 504 | _aInclui bibliografia e índice. | ||
| 650 | 4 |
_aComputação _9712 |
|
| 650 | 4 |
_aComplexidade computacional _91461 |
|
| 650 | 4 |
_aInformática _919 |
|
| 700 | 1 |
_aQueiroz, Ruy José Guerra Barreto de. _91462 _etradutor |
|
| 942 |
_2ddc _cLV |
||