| 000 | 01817nam a2200469 i 4500 | ||
|---|---|---|---|
| 001 | ELB87791 | ||
| 003 | FlNmELB | ||
| 005 | 20240507115536.0 | ||
| 006 | m o d | | ||
| 007 | cr cn||||||||| | ||
| 008 | 201106r2003 sp |||||s|||||||||||spa d | ||
| 020 | _z1413588743 | ||
| 035 | _a(MiAaPQ)EBC3161490 | ||
| 035 | _a(Au-PeEL)EBL3161490 | ||
| 035 | _a(CaPaEBR)ebr10088728 | ||
| 035 | _a(OCoLC)928549444 | ||
| 040 |
_aFlNmELB _bspa _cFlNmELB _erda |
||
| 050 | 4 |
_aQA9 _bP681 2003 |
|
| 080 | _a519.682 | ||
| 082 | 0 | 4 |
_a511.3 _222 |
| 100 | 1 |
_aPita Andreu, María Isabel, _eauthor. |
|
| 245 | 1 | 0 |
_aTécnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura / _cMaría Isabel Pita Andreu ; director, Narciso Martí Oliet. |
| 264 | 1 |
_aMadrid : _bUniversidad Complutense de Madrid, _c2003. |
|
| 300 | _axiii, 164 páginas. | ||
| 500 | _aUniversidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Programación. | ||
| 500 | _aelibro catedra 2020. | ||
| 533 | _aRecurso electrónico. Santa Fe, Arg.: e-libro, 2015. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a e-libro. | ||
| 650 | 0 | _aLógica matemática. | |
| 650 | 0 | _aLenguajes de computación. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 0 | _aProgramming languages (Electronic computers) | |
| 653 | _aLogica matematica | ||
| 653 | _aLenguajes de computacion | ||
| 655 | 4 | _aLibros electrónicos. | |
| 700 | 1 |
_aMartí Oliet, Narciso, _edir. |
|
| 710 | 2 | _ae-libro, Corporation. | |
| 856 | 4 | 0 | _uhttps://elibro.net/ereader/uvalparaiso/87791 |
| 942 | _cJ | ||
| 999 |
_c189901 _d189901 |
||