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

Cur síos iomlán

Đã lưu trong:
Sonraí Bibleagrafaíochta
Príomhúdar: Vũ, Thanh Nguyên
Údair Eile: Hầu Nguyễn, Thành Nam
Formáid: Leabhar
Teanga:Undetermined
Foilsithe: Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Ábhair:
Rochtain Ar Líne:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Clibeanna: Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
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
le Vũ Thanh Nguyên
Foilsithe 2015
Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ