Especificación, verificación y derivación formal de programas /
| Άλλοι συγγραφείς: | |
|---|---|
| Μορφή: | Libros Digitales |
| Γλώσσα: | Ισπανικά |
| Έκδοση: |
Madrid :
Pearson Educación,
2016.
|
| Σειρά: | Always learning.
|
| Θέματα: | |
| Διαθέσιμο Online: | Click to View |