Corrección de algoritmos complejos : verificación formal /
Sparad:
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | E-bok |
| Språk: | spanska |
| Publicerad: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Serie: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Ämnen: | |
| Länkar: | Click to View |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|