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ón completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Vũ Thanh Nguyên (Biên soạn)
Otros Autores:	Hầu Nguyễn Thành Nam
Formato:	Libro
Lenguaje:	Vietnamese
Publicado:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Materias:	Công nghệ thông tin
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

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

por Vũ, Thanh Nguyên
Publicado 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

Enlace del recurso

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

Ejemplares similares