| 000 | 00587nam a22001457a 4500 | ||
|---|---|---|---|
| 999 |
_c60906 _d60906 |
||
| 020 | _a9783030387990 (pbk) | ||
| 082 |
_a005.1 _bFOR |
||
| 245 |
_aFormal methods for software engineering _blanguages, methods, application domains |
||
| 260 |
_aSwitzerland _bSpringer Nature _c2022 |
||
| 300 |
_axxviii, 524 p. _b: ill. Col. _c; 23 cm. |
||
| 500 | _aText in theoretical computer science. an EATCS series | ||
| 500 | _aIncludes appendices and index. | ||
| 650 |
_aSoftware Engineering _vFormal languages _vComputer interaction _vSecurity protocols _vApplication domains _vFC |
||
| 942 | _cBK | ||