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....

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Vũ Thanh Nguyên (Biên soạn)
Beste egile batzuk:	Hầu Nguyễn Thành Nam
Formatua:	Liburua
Hizkuntza:	Vietnamese
Argitaratua:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Gaiak:	Công nghệ thông tin
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Izan zaitez lehena ohar bat uzten!

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

Antzeko izenburuak