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

Description complète

Enregistré dans:

Détails bibliographiques
Auteur principal:	Vũ Thanh Nguyên (Biên soạn)
Autres auteurs:	Hầu Nguyễn Thành Nam
Format:	Livre
Langue:	Vietnamese
Publié:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
Sujets:	Công nghệ thông tin
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

par Vũ, Thanh Nguyên
Publié 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

Accéder au texte intégral

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

Documents similaires