| 000 | 00851nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 220620s9999||||xx |||||||||||||| ||und|| | ||
| 022 | _a0302-9743 | ||
| 100 | _aUgo Dal Lago||Christel Baier | ||
| 245 | 0 | _aFoundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings | |
| 546 | _aEnglish[eng] | ||
| 650 | _agraph theory||computer software||semantics||modal logic||program compilers||artificial intelligence||type systems||formal logic||petri nets||separation logic||programming language||software engineering||theorem proving||selection and evaluation||verification | ||
| 856 | _uhttps://link.springer.com/book/10.1007/978-3-319-89366-2 | ||
| 942 | _cEB | ||
| 999 |
_c31189 _d31189 |
||