جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/2442
| عنوان: | Verification, Model Checking, and Abstract Interpretation |
| تاریخ انتشار: | 2018 |
| توضیحات : | 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 ; |
| آدرس: | http://localhost/handle/Hannan/2442 |
| شابک : | 978-3-319-73721-8 (Print) ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Verification, Model Checking, and Abstract Interpretation |
| تاریخ انتشار: | 2018 |
| توضیحات : | 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 ; |
| آدرس: | http://localhost/handle/Hannan/2442 |
| شابک : | 978-3-319-73721-8 (Print) ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Verification, Model Checking, and Abstract Interpretation |
| تاریخ انتشار: | 2018 |
| توضیحات : | 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 ; |
| آدرس: | http://localhost/handle/Hannan/2442 |
| شابک : | 978-3-319-73721-8 (Print) ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319737218.pdf | 8.5 MB | Adobe PDF | مشاهده فایل |