Model Checking Software
محفوظ في:
المؤلف الرئيسي: | Godefroid, Patrick |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer Berlin Heidelberg
2020
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
مواد مشابهة
-
Model Checking Software
بواسطة: Bosnacki, Dragan, وآخرون
منشور في: (2020) -
Model Checking Software
منشور في: (2020) -
Models in Software Engineering
بواسطة: Kühne, Thomas
منشور في: (2020) -
Handbook of Model Checking
بواسطة: Clarke, Edmund M., وآخرون
منشور في: (2020) -
Model-Driven Software Development
بواسطة: Beydeda, Sami, وآخرون
منشور في: (2020)