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

مواد مشابهة