Especificación, verificación y derivación formal de programas /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Lenguaje: | Español |
| Publicado: |
Madrid :
Pearson Educación,
2016.
|
| Colección: | Always learning.
|
| Materias: | |
| Acceso en línea: | Click to View |
| Descripción Física: | 1 recurso en línea (7, v, 231 páginas) : ilustraciones |
|---|---|
| Bibliografía: | Contiene bibliografía. |
| ISBN: | 9788420564982 (e-book) |
