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

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

مواد مشابهة