Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/2442
| Title: | Verification, Model Checking, and Abstract Interpretation |
| Year: | 2018 |
| Description: | ALMA ; QA76 Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; Odig ; ALMA ; Tdig ; ALMA ; Print ; Verification, Model Checking, and Abstract Interpretation ; 9783319737218 ; |
| URI: | http://localhost/handle/Hannan/2442 |
| ISBN: | 978-3-319-73721-8 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF |  Preview File |
| Title: | Verification, Model Checking, and Abstract Interpretation |
| Year: | 2018 |
| Description: | ALMA ; QA76 Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; Odig ; ALMA ; Tdig ; ALMA ; Print ; Verification, Model Checking, and Abstract Interpretation ; 9783319737218 ; |
| URI: | http://localhost/handle/Hannan/2442 |
| ISBN: | 978-3-319-73721-8 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF | Preview File |
| Title: | Verification, Model Checking, and Abstract Interpretation |
| Year: | 2018 |
| Description: | ALMA ; QA76 Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; Odig ; ALMA ; Tdig ; ALMA ; Print ; Verification, Model Checking, and Abstract Interpretation ; 9783319737218 ; |
| URI: | http://localhost/handle/Hannan/2442 |
| ISBN: | 978-3-319-73721-8 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF | Preview File |