Verificación formal de algoritmos : ejercicios resueltos /
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | eBook |
| 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 Voir à l'OPAC |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Description matérielle: | 1 recurso en línea (240 páginas) |
|---|---|
| ISBN: | 9788498285628 |