| 000 | 00739nam0a22002173i 4500 | ||
|---|---|---|---|
| 001 | 11633 | ||
| 005 | 20170629125655.0 | ||
| 010 | _a0-7923-1965-6 | ||
| 090 | _a11633 | ||
| 100 | _a20000222d1993 m u0pory50 | ||
| 200 | 1 |
_aProgram verification _efundamental issues in computer science _fTimothy R. Colburn, James H. Fetzer, Terry L. Rankin |
|
| 210 |
_aDordrecht _cKluwer Academic Publishers _d1993 |
||
| 215 |
_aXIII, 457 p. _cil. _d23 cm |
||
| 225 | 1 |
_aStudies in Cognitive Systems _fJames H. Fetzer _v14 |
|
| 606 |
_910388 _aComputadores em geral |
||
| 606 |
_917900 _aVerificação |
||
| 606 |
_918480 _aConceito cognitivo |
||
| 675 | _a681.31 | ||
| 700 | 1 |
_aCOLBURN _bTimothy R. _93041 |
|
| 852 |
_aISEL _bBiblioteca Central _gCOL. _j681.31 |
||
| 942 | _cMO | ||