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 |
