Numerical Software Verification

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra
التنسيق: كتاب
اللغة:English
منشور في: Springer International Publishing 2020
الموضوعات:
الوصول للمادة أونلاين:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83143
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt