Corrección de algoritmos complejos : verificación formal /
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | eBook |
| Hizkuntza: | gaztelania |
| Argitaratua: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Saila: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Gaiak: | |
| Sarrera elektronikoa: | Click to View |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|