| 000 | 00434nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a1852336404 | ||
| 082 | _a005.131 HIN/I | ||
| 100 | _aHinchey, Michael G | ||
| 245 | _aIndustrial strength: Formal methods in practice | ||
| 260 |
_bSpringer _aLondon _c1999 |
||
| 300 | _a400 | ||
| 440 | _aFormal Approaches to Computing and Information Technology (FACIT | ||
| 650 | _aFORMAL METHODS | ||
| 999 |
_c1452 _d1452 |
||