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

Giáo trình Đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z....

全面介紹

Đã lưu trong:

書目詳細資料
主要作者:	Vũ Thanh Nguyên (Biên soạn)
其他作者:	Hầu Nguyễn Thành Nam
格式:	圖書
語言:	Vietnamese
出版:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
主題:	Công nghệ thông tin
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

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

相似書籍