| 000 | 00668nam a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 220705s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a978-3-319-89959-6 | ||
| 020 | _a978-3-319-89960-2 | ||
| 040 | _cSpringer | ||
| 041 | _aENG | ||
| 100 | _a Marieke Huisman | ||
| 100 | _aDirk Beyer | ||
| 245 | 0 | _aTools and Algorithms for the Construction and Analysis of Systems | |
| 260 |
_bSpringer International Publishing _c2018 |
||
| 490 |
_aLecture Notes in Computer Science; 10805 _x1611-3349 |
||
| 650 | _aComputer Science | ||
| 856 |
_fhttps://doi.org/10.1007/978-3-319-89960-2 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2 |
||
| 942 | _cEBK | ||
| 999 |
_c76274 _d76274 |
||