Giáo trình đặc tả hình thức
Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Libro |
| Idioma: | Undetermined |
| Publicado: |
Tp. Hồ Chí Minh
Đại học Quốc gia Tp. Hồ Chí Minh
2015
|
| Những chủ đề: | |
| Acceso en liña: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732 |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Thủ Dầu Một |
|---|
Sexa o primeiro en deixar un comentario!