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

Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Vũ, Thanh Nguyên
Údair Eile:	Hầu Nguyễn, Thành Nam
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Ábhair:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
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 tâm Học liệu Trường Đại học Thủ Dầu Một

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

le Vũ Thanh Nguyên
Foilsithe 2015

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

Míreanna Comhchosúla