Verificación formal de algoritmos : ejercicios resueltos
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Cádiz :
Universidad de Cádiz, Servicio de Publicaciones
2010.
|
| Colección: | Manuales. Ingenierías y arquitectura
|
| Materias: |
| Descripción Física: | 240 p. : 24 cm |
|---|---|
| ISBN: | 9788498282641 |
