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

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Vũ, Thanh Nguyên
Další autoři:	Hầu Nguyễn, Thành Nam
Médium:	Kniha
Jazyk:	Undetermined
Vydáno:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Témata:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
On-line přístup:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Buďte první, kdo okomentuje tento záznam!

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

Podobné jednotky