Giáo trình đặc tả hình thức

Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Vũ, Thanh Nguyên
Autres auteurs: Hầu Nguyễn, Thành Nam
Format: Livre
Langue:Undetermined
Publié: Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Sujets:
Accès en ligne:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Search Result 1
par Vũ Thanh Nguyên
Publié 2015
Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ