| 000 | 01374nam a22003737a 4500 | ||
|---|---|---|---|
| 999 |
_c14330 _d14330 |
||
| 001 | 11733 | ||
| 003 | EC-UPSE | ||
| 005 | 20200721104500.0 | ||
| 006 | a||||g ||i| 00| 0 | ||
| 008 | 170712s ec ||||| |||| 00| 0 spa d | ||
| 020 | _a9788420564982 | ||
| 040 | _aUPSE | ||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_a004 _bALVe |
| 100 | 1 |
_aÁlvez, Javier, _eautor _9301 |
|
| 245 | 1 | 0 | _aEspecificación, verificación y derivación formal de programas |
| 260 |
_aMadrid (España): _bPearson Educación, _c2015 |
||
| 300 | _a245 páginas | ||
| 336 |
_2rdacontent _atext _btxt |
||
| 337 |
_2rdamedia _ano mediado _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 500 | _aIncluye índice general, notas bibliográficas, figuras, diagramas | ||
| 505 | 0 | _aEspecificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos | |
| 650 | 1 | 4 |
_aINFORMATICA _912720 |
| 650 | 2 | 4 |
_aPROGRAMAS INFORMATICOS _913274 |
| 650 | 2 | 4 |
_aRECURSIVOS _913360 |
| 650 | 2 | 4 |
_aSISTEMAS _913520 |
| 650 | 2 | 4 |
_aTECNICAS _913570 |
| 650 | 2 | 4 |
_aTRANSFORMACIÓN _913633 |
| 690 | _aA5 | ||
| 700 | 1 |
_aArregi, Xabier, _eautor _9530 |
|
| 700 | 1 |
_aGaintzarain, Jose, _eautor _93680 |
|
| 942 |
_2ddc _c1 |
||