| 000 | 00716nam a22001457a 4500 | ||
|---|---|---|---|
| 999 |
_c60152 _d60152 |
||
| 020 | _a9783031711619 (pbk) | ||
| 082 |
_a005.14 _bFOR |
||
| 100 |
_aAndre Pllatzer (editor) _aKristin Yvonne Rozier (editor) _aMatteo Pradella (editor) _aMatteo Rossi (editor) |
||
| 245 |
_aFormal methods _b: 26th international symposium, fm 2024 milan, italy, september 9-13, 2024 proceedings, part I |
||
| 260 |
_aSwitzerland _bSpringer Nature _c2025 |
||
| 300 |
_axxii, 680 p. _b: ill. _c; 24 cm |
||
| 500 | _aIncludes bibliographical references and index. | ||
| 650 |
_aSoftware engineering _aArtificial intelligence _aComputer science _vComputer applications _vComputer programming _vFormal verification _vTesting _vGGC _vFC |
||
| 942 | _cBK | ||