Giáo trình đặc tả hình thức

Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...

全面介紹

Đã lưu trong:

書目詳細資料
主要作者:	Vũ, Thanh Nguyên
其他作者:	Hầu Nguyễn, Thành Nam
格式:	圖書
語言:	Undetermined
出版:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
主題:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
在線閱讀:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Giáo trình đặc tả hình thức

由 Vũ Thanh Nguyên
出版 2015

Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ

Giáo trình đặc tả hình thức

相似書籍