Especificación, verificación y derivación formal de programas /
| Autres auteurs: | |
|---|---|
| Format: | Libros Digitales |
| Langue: | espagnol |
| Publié: |
Madrid :
Pearson Educación,
2016.
|
| Collection: | Always learning.
|
| Sujets: | |
| Accès en ligne: | Click to View |