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

Cijeli opis

Spremljeno u:

Bibliografski detalji
Glavni autor:	Vũ, Thanh Nguyên
Daljnji autori:	Hầu Nguyễn, Thành Nam
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Teme:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Online pristup:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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
Sažetak:	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:	249tr.

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

Similar Items