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
גישה מקוונת:	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

תיאור
סיכום:	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
תיאור פיזי:	249tr.

Giáo trình đặc tả hình thức

פריטים דומים