Especificación, verificación y derivación formal de programas /
| 其他作者: | |
|---|---|
| 格式: | Libros Digitales |
| 语言: | 西班牙语 |
| 出版: |
Madrid :
Pearson Educación,
2016.
|
| 丛编: | Always learning.
|
| 主题: | |
| 在线阅读: | Click to View |
| 其他作者: | |
|---|---|
| 格式: | Libros Digitales |
| 语言: | 西班牙语 |
| 出版: |
Madrid :
Pearson Educación,
2016.
|
| 丛编: | Always learning.
|
| 主题: | |
| 在线阅读: | Click to View |