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

Täydet tiedot

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Vũ, Thanh Nguyên
Muut tekijät:	Hầu Nguyễn, Thành Nam
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Aiheet:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Linkit:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Tekijä Vũ Thanh Nguyên
Julkaistu 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

Samankaltaisia teoksia