Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/2057
| Title: | Temporal type theory : |
| Other Titles: | a topos-theoretic approach to systems and behavior / |
| Year: | 2019 |
| place: | New York, NY : |
| Publisher: | Springer Science+Business Media, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/2057 |
| ISBN: | 9783030007034 ; |
| More Information: | pages cm ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030007034.pdf | 6.49 MB | Adobe PDF |  Preview File |
| Title: | Temporal type theory : |
| Other Titles: | a topos-theoretic approach to systems and behavior / |
| Year: | 2019 |
| place: | New York, NY : |
| Publisher: | Springer Science+Business Media, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/2057 |
| ISBN: | 9783030007034 ; |
| More Information: | pages cm ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030007034.pdf | 6.49 MB | Adobe PDF | Preview File |
| Title: | Temporal type theory : |
| Other Titles: | a topos-theoretic approach to systems and behavior / |
| Year: | 2019 |
| place: | New York, NY : |
| Publisher: | Springer Science+Business Media, |
| Description: | QA76 |
| URI: | http://localhost/handle/Hannan/2057 |
| ISBN: | 9783030007034 ; |
| More Information: | pages cm ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783030007034.pdf | 6.49 MB | Adobe PDF | Preview File |