Formal Techniques for Networked and Distributed Systems – FORTE 2008
محفوظ في:
المؤلفون الرئيسيون: | Suzuki, Kenji, Higashino, Teruo, Yasumoto, Keiichi, El-Fakih, Khaled |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer Berlin Heidelberg
2020
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81654 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
مواد مشابهة
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007
بواسطة: Derrick, John, وآخرون
منشور في: (2020) -
Formal Techniques for Networked and Distributed Systems - FORTE 2005
بواسطة: Wang, Farn
منشور في: (2020) -
Formal Techniques for Distributed Systems
منشور في: (2020) -
Formal Techniques for Distributed Objects, Components, and Systems
بواسطة: Baier, Christel, وآخرون
منشور في: (2020) -
Formal Methods for Open Object-Based Distributed Systems
بواسطة: Barthe, Gilles
منشور في: (2020)