| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Tiziana Margaria, Bernhard Steffen | - |
| dc.date.accessioned | 2017-04-17T03:06:35Z | - |
| dc.date.available | 2017-04-17T03:06:35Z | - |
| dc.date.issued | 2009 | - |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/29490 | - |
| dc.publisher | Springer | en_US |
| dc.subject | Computer Science ; Software engineering | en_US |
| dc.subject.ddc | 005.1 | - |
| dc.title | Leveraging Applications of Formal Methods, Verification and Validation | 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.author | Tiziana Margaria, Bernhard Steffen | - |
| dc.date.accessioned | 2017-04-17T03:06:35Z | - |
| dc.date.available | 2017-04-17T03:06:35Z | - |
| dc.date.issued | 2009 | - |
| dc.identifier.uri | http://repository.vnu.edu.vn/handle/VNU_123/29490 | - |
| dc.publisher | Springer | en_US |
| dc.subject | Computer Science ; Software engineering | en_US |
| dc.subject.ddc | 005.1 | - |
| dc.title | Leveraging Applications of Formal Methods, Verification and Validation | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Khoa học máy tính & Công nghệ thông tin | |
