Verificación formal de algoritmos : ejercicios resueltos /
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Libros Digitales |
| Langue: | espagnol |
| Publié: |
Cádiz :
Universidad de Cádiz,
2018.
|
| Collection: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Sujets: | |
| Accès en ligne: | Click to View |