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

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Vũ Thanh Nguyên (Biên soạn)
Altres autors:	Hầu Nguyễn Thành Nam
Format:	Llibre
Idioma:	Vietnamese
Publicat:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Matèries:	Công nghệ thông tin
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

per Vũ, Thanh Nguyên
Publicat 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

Obtenir text complet

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

Ítems similars