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

Ful tanımlama

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Vũ, Thanh Nguyên
Diğer Yazarlar:	Hầu Nguyễn, Thành Nam
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Konular:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Online Erişim:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Yazar: Vũ Thanh Nguyên
Baskı/Yayın Bilgisi 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

Benzer Materyaller