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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Vũ Thanh Nguyên (Biên soạn)
Andre forfattere:	Hầu Nguyễn Thành Nam
Format:	Bog
Sprog:	Vietnamese
Udgivet:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Fag:	Công nghệ thông tin
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

af Vũ, Thanh Nguyên
Udgivet 2015

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Få fuldtekst

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

Lignende værker