Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/2640
| Title: | Verification, model checking, and abstract interpretation. |
| Year: | 2019 |
| place: | New York, NY : |
| Publisher: | Springer Berlin Heidelberg, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/2640 |
| ISBN: | 9783030112448 ; |
| More Information: | pages cm ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030112448.pdf | 22.96 MB | Adobe PDF |  Preview File |
| Title: | Verification, model checking, and abstract interpretation. |
| Year: | 2019 |
| place: | New York, NY : |
| Publisher: | Springer Berlin Heidelberg, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/2640 |
| ISBN: | 9783030112448 ; |
| More Information: | pages cm ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030112448.pdf | 22.96 MB | Adobe PDF | Preview File |
| Title: | Verification, model checking, and abstract interpretation. |
| Year: | 2019 |
| place: | New York, NY : |
| Publisher: | Springer Berlin Heidelberg, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/2640 |
| ISBN: | 9783030112448 ; |
| More Information: | pages cm ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030112448.pdf | 22.96 MB | Adobe PDF | Preview File |