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

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Vũ Thanh Nguyên (Biên soạn)
Andere auteurs:	Hầu Nguyễn Thành Nam
Formaat:	Boek
Taal:	Vietnamese
Gepubliceerd in:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Onderwerpen:	Công nghệ thông tin
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items