Logical Foundations of Computer Science
Saved in:
其他作者: | 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)