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

Giáo trình Đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z....

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Vũ Thanh Nguyên (Biên soạn)
מחברים אחרים:	Hầu Nguyễn Thành Nam
פורמט:	ספר
שפה:	Vietnamese
יצא לאור:	Tp. Hồ Chí Minh Nxb. Đại học Quốc Gia Tp. Hồ Chí Minh 2015
נושאים:	Công nghệ thông tin
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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 cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z.
תיאור פיזי:	249tr. Hình vẽ 21 cm
ISBN:	9786047326570

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

פריטים דומים