Corrección de algoritmos complejos : verificación formal /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλ. βιβλίο |
| Γλώσσα: | Ισπανικά |
| Έκδοση: |
Cádiz :
Universidad de Cádiz,
2017.
|
| Σειρά: | Universidad de Cádiz. Ingenierías y arquitectura.
|
| Θέματα: | |
| Διαθέσιμο Online: | Click to View |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|