Giáo trình đặc tả hình thức
Giáo trình Đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z....
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Libro |
| Idioma: | Vietnamese |
| Publicado: |
Tp. Hồ Chí Minh
Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh
2015
|
| Những chủ đề: | |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Nam Cần Thơ |
|---|