Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / Beyer, Dirk.
| Author/creator | Beyer, Dirk |
| Other author | Huisman, Marieke. |
| Other author | SpringerLink (Online service) |
| Format | Electronic |
| Publication Info | [S.l.] : Springer International Publishing, |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2018 English International |
| Supplemental Content | Full text available from Springer Books |
| General note | Title from content provider. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |