| 000 | 00669nam a2200241Ia 4500 | ||
|---|---|---|---|
| 005 | 20251017104340.0 | ||
| 008 | 251017s9999 xx 000 0 und d | ||
| 020 | _a9783031301667 | ||
| 082 | _a658.5 HUI | ||
| 100 | _aHuisman, Marieke | ||
| 245 | 0 |
_aConcise guide to software verification: _bfrom model checking to annotation checking |
|
| 260 |
_aSwitzerland: _bSpringer, _c2023. |
||
| 300 | _aix, 248 p. | ||
| 440 | _aTexts in Computer Science | ||
| 650 | _aFormal methods | ||
| 650 | _aModel checking | ||
| 650 | _aSoftware verification | ||
| 700 |
_aHazzan, Orit _eEDI |
||
| 700 |
_aWijs, Anton _eCON |
||
| 942 | _cBK | ||
| 999 |
_c55331 _d55331 |
||