|
|
|
|
| LEADER |
01552nam a2200373 i 4500 |
| 001 |
ELB33886 |
| 003 |
FlNmELB |
| 005 |
20241223190014.0 |
| 006 |
m o d | |
| 007 |
cr cnu|||||||| |
| 008 |
190415s2018 sp o 000 0 spa d |
| 020 |
|
|
|a 9788498285628
|q (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)1128380101
|
| 040 |
|
|
|a FINmELB
|b spa
|e rda
|c FINmELB
|
| 050 |
|
4 |
|a QA9.58
|b S586 2018
|
| 080 |
|
|
|a 510.5(076.3)
|
| 082 |
0 |
|
|a 511.8
|2 23
|
| 100 |
1 |
|
|a Silva Ram�irez, Esther Lydia.
|
| 245 |
1 |
0 |
|a Verificaci�on formal de algoritmos :
|b ejercicios resueltos /
|c Esther Lydia Silva Ram�irez, Manuel L�opez Coello.
|
| 264 |
|
1 |
|a C�adiz :
|b Universidad de C�adiz,
|c 2018.
|
| 300 |
|
|
|a 1 recurso en l�inea (240 p�aginas)
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontent/spa
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedia/spa
|
| 338 |
|
|
|a recurso en l�inea
|b cr
|2 rdacarrier/spa
|
| 490 |
1 |
|
|a Manuales / Universidad de C�adiz. Ingenier�ias y arquitectura
|
| 588 |
|
|
|a Descripci�on basada en el editor de metadatos y otras fuentes.
|
| 590 |
|
|
|a Recurso electr�onico. Santa Fe, Arg.: elibro, 2019. Disponible v�ia World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a elibro.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
4 |
|a Algoritmos
|v Problemas y ejercicios.
|
| 655 |
|
4 |
|a Libros electronicos.
|
| 700 |
1 |
|
|a L�opez Coello, Manuel,
|e autor.
|
| 830 |
|
0 |
|a Universidad de C�adiz.
|t Manuales.
|p Ingenier�ias y arquitectura.
|
| 856 |
4 |
0 |
|u https://elibro.net/ereader/ufasta/33886
|z Click to View
|
| 999 |
|
|
|c 93649
|d 93649
|