Verificación formal de algoritmos : ejercicios resueltos /
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | livro electrónico |
| Idioma: | espanhol |
| Publicado em: |
Cádiz :
Universidad de Cádiz,
2018.
|
| Colecção: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Assuntos: | |
| Acesso em linha: | Click to View |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ELB33886 | ||
| 003 | FlNmELB | ||
| 005 | 20190702105710.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írez, Esther Lydia. | |
| 245 | 1 | 0 | |a Verificación formal de algoritmos : |b ejercicios resueltos / |c Esther Lydia Silva Ramírez, Manuel López Coello. |
| 264 | 1 | |a Cádiz : |b Universidad de Cádiz, |c 2018. | |
| 300 | |a 1 recurso en línea (240 páginas) | ||
| 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 Manuales / Universidad de Cádiz. Ingenierías y arquitectura | |
| 588 | |a Descripción basada en el editor de metadatos y otras fuentes. | ||
| 590 | |a Recurso electrónico. Santa Fe, Arg.: elibro, 2019. Disponible vía 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ópez Coello, Manuel, |e autor. | |
| 830 | 0 | |a Universidad de Cádiz. |t Manuales. |p Ingenierías y arquitectura. | |
| 856 | 4 | 0 | |u https://elibro.unach.elogim.com/es/lc/unach/titulos/33886 |z Click to View |