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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Vũ, Thanh Nguyên
Tác giả khác:	Hầu Nguyễn, Thành Nam
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Những chủ đề:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Truy cập trực tuyến:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Bỡi Vũ Thanh Nguyên
Được phát hành 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

Những quyển sách tương tự