Integrated Formal Methods
محفوظ في:
المؤلفون الرئيسيون: | Ahrendt, Wolfgang, Tarifa, Silvia Lizeth Tapia |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer International Publishing
2020
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91212 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
مواد مشابهة
-
Integrated Formal Methods
بواسطة: Polikarpova, Nadia, وآخرون
منشور في: (2020) -
Integrated Formal Methods
بواسطة: Furia, Carlo A., وآخرون
منشور في: (2020) -
Formal Methods
بواسطة: Havelund, Klaus, وآخرون
منشور في: (2020) -
NASA Formal Methods
بواسطة: Barrett, Clark, وآخرون
منشور في: (2020) -
Software Engineering and Formal Methods
بواسطة: Cimatti, Alessandro, وآخرون
منشور في: (2020)