Logics of Specification Languages
636 p.
محفوظ في:
| مؤلفون آخرون: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
H: Springer
2017
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/25643 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| id |
oai:112.137.131.14:VNU_123-25643 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-256432020-07-08T04:10:16Z Logics of Specification Languages Bjørner, D. ; Henson, Martin C. Computer Science ; Logic, Symbolic and mathematical 005.13 636 p. 2017-04-10T07:51:34Z 2017-04-10T07:51:34Z 2008 Book http://repository.vnu.edu.vn/handle/VNU_123/25643 en application/pdf H: Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Computer Science ; Logic, Symbolic and mathematical 005.13 |
| spellingShingle |
Computer Science ; Logic, Symbolic and mathematical 005.13 Logics of Specification Languages |
| description |
636 p. |
| author2 |
Bjørner, D. ; Henson, Martin C. |
| author_facet |
Bjørner, D. ; Henson, Martin C. |
| format |
Book |
| title |
Logics of Specification Languages |
| title_short |
Logics of Specification Languages |
| title_full |
Logics of Specification Languages |
| title_fullStr |
Logics of Specification Languages |
| title_full_unstemmed |
Logics of Specification Languages |
| title_sort |
logics of specification languages |
| publisher |
H: Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/25643 |
| _version_ |
1680962704742809600 |