Giáo trình đặc tả hình thức

Trình bày tổng quan về đặc tả hình thức, các cơ sở đặc tả, đặc tả các thành phần cơ sở, đặc tả và tính đúng đắn của hàm, đặc tả với ngôn ngữ Z, ngôn ngữ VDM, ngôn ngữ hiện đại Object-Z...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Vũ, Thanh Nguyên
מחברים אחרים: Hầu Nguyễn, Thành Nam
פורמט: ספר
שפה:Undetermined
יצא לאור: Tp. Hồ Chí Minh Đại học Quốc gia Tp. Hồ Chí Minh 2015
נושאים:
גישה מקוונת:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=29732
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Search Result 1
מאת Vũ Thanh Nguyên
יצא לאור 2015
Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ