Corrección de algoritmos complejos verificación formal
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Libro electrónico |
| Idioma: | Castellano |
| Publicado: |
Cádiz :
Universidad de Cádiz
2017.
|
| Colección: | elibro.net.
Manuales. Ingenierías y arquitectura. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b4106706x*spi |
| Notas: | Recurso electrónico. |
|---|---|
| Descripción Física: | 1 recurso electrónico (IX, 214 p.) |
| Formato: | Forma de acceso: World Wide Web. |
| ISBN: | 9788498285642 |
