Formal Methods for Components and Objects
محفوظ في:
المؤلفون الرئيسيون: | Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer Berlin Heidelberg
2020
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81999 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
مواد مشابهة
-
Formal Methods for Components and Objects
بواسطة: Boer, Frank S. de, وآخرون
منشور في: (2020) -
Formal Methods for Components and Objects
منشور في: (2020) -
Formal Methods for Components and Objects
منشور في: (2020) -
Formal Techniques for Distributed Objects, Components, and Systems
بواسطة: Baier, Christel, وآخرون
منشور في: (2020) -
Objects, Components, Models and Patterns
منشور في: (2020)