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


LEADER	01091nam a2200217Ia 4500
001	TDMU_29732
008	210410s9999 xx 000 0 und d
082			\|a 363.7
090			\|b V500
100			\|a Vũ, Thanh Nguyên
245		0	\|a Giáo trình đặc tả hình thức
245		0	\|c Vũ Thanh Nguyên, Hầu Nguyễn Thành Nam
260			\|a Tp. Hồ Chí Minh
260			\|b Đại học Quốc gia Tp. Hồ Chí Minh
260			\|c 2015
300			\|a 249tr.
520			\|a 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
650			\|a Phần mềm máy tính \|x Lập trình \|x Phát triển \|v Giáo trình
700			\|a Hầu Nguyễn, Thành Nam
856			\|u http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
980			\|a 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

Míreanna Comhchosúla