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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Vũ Thanh Nguyên (Biên soạn)
Kolejni autorzy:	Hầu Nguyễn Thành Nam
Format:	Książka
Język:	Vietnamese
Wydane:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Hasła przedmiotowe:	Công nghệ thông tin
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy