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

Popoln opis

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Vũ, Thanh Nguyên
Drugi avtorji:	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 dostop:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Oznake:	Označite Brez oznak, prvi označite!

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

od Vũ Thanh Nguyên
Izdano 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

Podobne knjige/članki