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

Full description

Saved in:

Bibliographic Details
Main Author:	Vũ Thanh Nguyên (Biên soạn)
Other Authors:	Hầu Nguyễn Thành Nam
Format:	Book
Language:	Vietnamese
Published:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Subjects:	Công nghệ thông tin
Tags:	Add Tag No Tags, Be the first to tag this record!

Institutions:	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