| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Bjørner, D. ; Henson, Martin C. | - |
| dc.date.accessioned | 2017-04-10T07:51:34Z | - |
| dc.date.available | 2017-04-10T07:51:34Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/25643 | - |
| dc.description | 636 p. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | H: Springer | en_US |
| dc.subject | Computer Science ; Logic, Symbolic and mathematical | en_US |
| dc.subject.ddc | 005.13 | - |
| dc.title | Logics of Specification Languages | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Khoa học máy tính & Công nghệ thông tin | |
Readership Map
Content Distribution
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Bjørner, D. ; Henson, Martin C. | - |
| dc.date.accessioned | 2017-04-10T07:51:34Z | - |
| dc.date.available | 2017-04-10T07:51:34Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/25643 | - |
| dc.description | 636 p. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | H: Springer | en_US |
| dc.subject | Computer Science ; Logic, Symbolic and mathematical | en_US |
| dc.subject.ddc | 005.13 | - |
| dc.title | Logics of Specification Languages | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Khoa học máy tính & Công nghệ thông tin | |
