Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03

38 tr. + CD-ROM

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Vũ, Quang Hưng
مؤلفون آخرون:	Trương Hoàng Anh, người hướng dẫn
منشور في:	ĐHCN 2017
الوصول للمادة أونلاين:	http://repository.vnu.edu.vn/handle/VNU_123/43150
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة:	Vietnam National University, Hanoi

الوصف
الملخص:	38 tr. + CD-ROM

مواد مشابهة