| 000 | 00537nam a22001457a 4500 | ||
|---|---|---|---|
| 008 | 230905b ||||| |||| 00| 0 eng d | ||
| 020 | _a9783030387990 | ||
| 050 |
_aQA76.9 _b.R733 2022 |
||
| 100 | _aRoggenbach, Markus | ||
| 245 |
_aFormal Methods for Software Engineering: _blanguages, methods, application domains / _cMarkus Roggenbach, Antonio Cerone, {others editors} |
||
| 246 | _aTexts in Theoretical Computer Science. An EATCS series. | ||
| 260 |
_aSwitzerland: _bSpringer, _c2022. |
||
| 300 |
_a524 Pages; _c24 cm. |
||
| 942 |
_2lcc _cBK |
||
| 999 |
_c5860 _d5860 |
||