| 000 | 00454nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a3540415238 | ||
| 082 | _a005.14 BER/S | ||
| 100 | _aBerard A | ||
| 245 | _aSystems and software verification: Model checking techniques and tools | ||
| 260 |
_bSpringer _aBerlin _c1999 |
||
| 300 | _a190 | ||
| 650 | _aSOFTWARE TESTING | ||
| 650 | _aSOFTWARE VERIFICATION | ||
| 700 | _aBidoit M | ||
| 700 | _aFinkel A | ||
| 999 |
_c1301 _d1301 |
||