| 000 | 01442nam a22003977i 4500 | ||
|---|---|---|---|
| 001 | AZUAY-80397 | ||
| 003 | AZUAY | ||
| 005 | 20251111042945.0 | ||
| 008 | 251108b |||||||gr|||| 00| | d | ||
| 020 | _a978-84-205-6498-2 | ||
| 040 |
_aAZUAY _bspa _cAZUAY _dAZUAY _erda |
||
| 041 | 0 | _aspa | |
| 082 | 0 | 4 |
_a005.3 _bA474 |
| 100 | 1 |
_aMaritxalar, Montse, _eautor |
|
| 245 | 1 | 0 | _aEspecificación, verificación y derivación formal de programas |
| 250 | _a1a. ed. | ||
| 264 | 3 | 1 |
_aMadrid : _bPearson, _c2015 |
| 300 | _a231 páginas | ||
| 300 | _bImpreso | ||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _ano mediado _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 504 | _aIncluye notas bibliográficas | ||
| 520 | 3 | _bContiene: Especificación formal de programas. Verificación de programas itertivos. Verificación de programas recursivos. Especificación ecuacional de tipos de datos. Transformación de recursivo a iterativo. De3rivación de programas iterativos. Derivación de programas recursivos | |
| 650 | 1 | 4 | _aDESARROLLO DE SOFTWARE |
| 650 | 1 | 4 | _aPROGRAMACIÓN INTERACTIVA |
| 650 | 1 | 4 | _aTRANSFORMACIÓN DE PROGRAMACIÓN |
| 650 | 1 | 4 | _aVERIFICACIÓN DE PROGRAMACIÓN |
| 654 | 0 | _a005.3 - Programas | |
| 654 | 0 | _a005.3 - Programas | |
| 700 | 1 |
_aÁlvez, Javier, _eautor |
|
| 700 | 1 |
_aArregi, Xavier, _eautor |
|
| 700 | 1 |
_aGaintzarain, José, _eautor |
|
| 700 | 1 |
_aLucio, Paqui, _eautor |
|
| 942 |
_2ddc _c5 |
||
| 999 |
_c34203 _d34203 |
||