Logical Foundations of Computer Science
محفوظ في:
مؤلفون آخرون: | Artemov, S. N. ; Nerode, Anil |
---|---|
التنسيق: | كتاب |
منشور في: |
Springer
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/29519 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Journal on Data Semantics X
بواسطة: Stefano Spaccapietra.
منشور في: (2017) -
Formal Methods for Industrial Critical Systems
منشور في: (2017) -
Formal Methods for Components and Objects
منشور في: (2017) -
Foundations of Software Science and Computational Structures
منشور في: (2017) -
Logic-Based Program Synthesis and Transformation
منشور في: (2017)