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

Full beskrivning

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Vũ, Thanh Nguyên
Övriga upphovsmän:	Hầu Nguyễn, Thành Nam
Materialtyp:	Bok
Språk:	Undetermined
Publicerad:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Ämnen:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Länkar:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

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

Beskrivning
Sammanfattning:	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
Fysisk beskrivning:	249tr.

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

Liknande verk