| 000 | 00787nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 2212144s2020 xx 000 0 und d | ||
| 020 | _a9783030509958 | ||
| 041 | _aeng | ||
| 100 | _aWolfgang Ahrendt, Heike Wehrheim. | ||
| 245 | _aTests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings | ||
| 260 |
_aCham _bSpringer _c2020 |
||
| 650 | _aSoftware engineering. Programming languages (Electronic computers). Special purpose computers. Architecture, Computer. Artificial intelligence. Software Engineering. Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Computer System Implementation. Artificial Intelligence. | ||
| 856 | _uhttps://doi.org/10.1007/978-3-030-50995-8 | ||
| 999 |
_c84909 _d84909 |
||