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

Cijeli opis

Spremljeno u:

Bibliografski detalji
Glavni autor:	Vũ Thanh Nguyên (Biên soạn)
Daljnji autori:	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:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items