Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1640
| Title: | Verified Software. Theories, Tools, and Experiments |
| Authors: | Piskac. ;;Hofmann |
| Year: | 2018 |
| place: | [S.l.] : |
| Publisher: | Springer International Publishing, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/1640 |
| ISBN: | 9783030035914 ; 3030035913 ; |
| More Information: | Title from content provider. ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030035914.pdf | 16.65 MB | Adobe PDF |  Preview File |
| Title: | Verified Software. Theories, Tools, and Experiments |
| Authors: | Piskac. ;;Hofmann |
| Year: | 2018 |
| place: | [S.l.] : |
| Publisher: | Springer International Publishing, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/1640 |
| ISBN: | 9783030035914 ; 3030035913 ; |
| More Information: | Title from content provider. ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030035914.pdf | 16.65 MB | Adobe PDF | Preview File |
| Title: | Verified Software. Theories, Tools, and Experiments |
| Authors: | Piskac. ;;Hofmann |
| Year: | 2018 |
| place: | [S.l.] : |
| Publisher: | Springer International Publishing, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/1640 |
| ISBN: | 9783030035914 ; 3030035913 ; |
| More Information: | Title from content provider. ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030035914.pdf | 16.65 MB | Adobe PDF | Preview File |