Corrección de algoritmos complejos : verificación formal /
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | E-kirja |
| Kieli: | espanja |
| Julkaistu: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Sarja: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Aiheet: | |
| Linkit: | Click to View |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|