Chargement en cours…
Corrección de algoritmos complejos : verificación formal /
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | |
| Format: | eBook |
| Langue: | Español |
| Publié: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Collection: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Sujets: | |
| Accès en ligne: | Texto completo |