|
|
|
|
| LEADER |
01502nam a2200397 i 4500 |
| 001 |
ELB45355 |
| 003 |
FlNmELB |
| 005 |
20190702105710.0 |
| 006 |
m o d | |
| 007 |
cr cnu|||||||| |
| 008 |
180601s2016 sp a ob 000 0 spa d |
| 020 |
|
|
|z 9788420564708
|
| 020 |
|
|
|a 9788420564982 (e-book)
|
| 035 |
|
|
|a (OCoLC)1128456594
|
| 040 |
|
|
|a FINmELB
|b spa
|e rda
|c FINmELB
|
| 050 |
|
4 |
|a QA76.76.D47
|b E773 2016
|
| 080 |
|
|
|a 004.41
|
| 082 |
0 |
|
|a 005.1
|2 23
|
| 245 |
0 |
0 |
|a Especificación, verificación y derivación formal de programas /
|c Javier Álvez, Xabier Arregi [y otros 3].
|
| 264 |
|
1 |
|a Madrid :
|b Pearson Educación,
|c 2016.
|
| 300 |
|
|
|a 1 recurso en línea (7, v, 231 páginas) :
|b ilustraciones
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontent/spa
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedia/spa
|
| 338 |
|
|
|a recurso en línea
|b cr
|2 rdacarrier/spa
|
| 490 |
1 |
|
|a Always learning
|
| 504 |
|
|
|a Contiene bibliografía.
|
| 588 |
|
|
|a Descripción basada en el editor de metadatos y otras fuentes.
|
| 590 |
|
|
|a Recurso electrónico. Santa Fe, Arg.: elibro, 2018. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.
|
| 650 |
|
0 |
|a Computer software
|x Development.
|
| 650 |
|
4 |
|a Informática.
|
| 650 |
|
4 |
|a Programa de ordenador.
|
| 655 |
|
4 |
|a Libros electronicos.
|
| 700 |
1 |
|
|a Álvez, Javier,
|e autor.
|
| 797 |
2 |
|
|a elibro, Corp.
|
| 830 |
|
0 |
|a Always learning.
|
| 856 |
4 |
0 |
|u https://elibro.net/ereader/siduncu/45355
|z Click to View
|
