Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/2442
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:37:48Z | - |
| dc.date.available | 2020-05-17T08:37:48Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 978-3-319-73721-8 (Print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/2442 | - |
| dc.description | en_US | |
| dc.description | ALMA ; | en_US |
| dc.description | QA76 | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; | en_US |
| dc.description | en_US | |
| dc.description | Odig ; ALMA ; | en_US |
| dc.description | Tdig ; ALMA ; | en_US |
| dc.description | Print ; Verification, Model Checking, and Abstract Interpretation ; 9783319737218 ; | en_US |
| dc.relation.haspart | 9783319737218.pdf | en_US |
| dc.title | Verification, Model Checking, and Abstract Interpretation | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:37:48Z | - |
| dc.date.available | 2020-05-17T08:37:48Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 978-3-319-73721-8 (Print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/2442 | - |
| dc.description | en_US | |
| dc.description | ALMA ; | en_US |
| dc.description | QA76 | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; | en_US |
| dc.description | en_US | |
| dc.description | Odig ; ALMA ; | en_US |
| dc.description | Tdig ; ALMA ; | en_US |
| dc.description | Print ; Verification, Model Checking, and Abstract Interpretation ; 9783319737218 ; | en_US |
| dc.relation.haspart | 9783319737218.pdf | en_US |
| dc.title | Verification, Model Checking, and Abstract Interpretation | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:37:48Z | - |
| dc.date.available | 2020-05-17T08:37:48Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 978-3-319-73721-8 (Print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/2442 | - |
| dc.description | en_US | |
| dc.description | ALMA ; | en_US |
| dc.description | QA76 | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; | en_US |
| dc.description | en_US | |
| dc.description | Odig ; ALMA ; | en_US |
| dc.description | Tdig ; ALMA ; | en_US |
| dc.description | Print ; Verification, Model Checking, and Abstract Interpretation ; 9783319737218 ; | en_US |
| dc.relation.haspart | 9783319737218.pdf | en_US |
| dc.title | Verification, Model Checking, and Abstract Interpretation | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF | Preview File |