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

Popoln opis

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Vũ Thanh Nguyên (Biên soạn)
Drugi avtorji:	Hầu Nguyễn Thành Nam
Format:	Knjiga
Jezik:	Vietnamese
Izdano:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Teme:	Công nghệ thông tin
Oznake:	Označite Brez oznak, prvi označite!

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

Komentirajte kot prvi!

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

Podobne knjige/članki