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...
שמור ב:
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | ספר |
| שפה: | 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
יצא לאור 2015
Thư viện lưu trữ:
Thư viện Trường Đại học Nam Cần Thơ