Verificación formal de algoritmos: ejercicios resueltos
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
[Lugar de publicación no identificado] :
UNIVERSIDAD DE CÁDIZ
2010.
|
| Colección: | UNEBOOK : colección intercambio científico.
|
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b44792785*spi |
| Descripción Física: | 1 recurso electrónico |
|---|---|
| Formato: | Forma de acceso: World Wide Web. |
| ISBN: | 9788498285628 |
