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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Vũ, Thanh Nguyên
Kolejni autorzy:	Hầu Nguyễn, Thành Nam
Format:	Książka
Język:	Undetermined
Wydane:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Hasła przedmiotowe:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Dostęp online:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Opis
Streszczenie:	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
Opis fizyczny:	249tr.

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

Podobne zapisy