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

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Vũ, Thanh Nguyên
Άλλοι συγγραφείς:	Hầu Nguyễn, Thành Nam
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
Θέματα:	Phần mềm máy tính > Lập trình > Phát triển > Giáo trình
Διαθέσιμο Online:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

ανά Vũ Thanh Nguyên
Έκδοση 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

Παρόμοια τεκμήρια