| 000 | 01395cam a22003134a 4500 | ||
|---|---|---|---|
| 001 | 2158256 | ||
| 003 | OSt | ||
| 005 | 20240624120929.0 | ||
| 008 | 990615s1999 ge a 001 0 eng | ||
| 010 | _a 99033669 | ||
| 020 | _a1852336404 (alk. paper) | ||
| 040 |
_aDLC _cmust _dDLC |
||
| 042 | _apcc | ||
| 082 | 0 | 0 |
_a537.54 PRA 2003 _221 |
| 100 |
_aHinchey, Michael G. _917665 |
||
| 245 | 0 | 0 |
_aIndustrial-strength formal methods in practice / _cMichael G. Hinchey and Jonathan P. Bowen, (eds.). |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _cc1999. |
||
| 300 |
_axvi, 400 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aFormal approaches to computing and information technology _917666 |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aFormal methods (Computer science) _9685 |
|
| 700 | 1 |
_aHinchey, Michael G. _q(Michael Gerard), _d1969- _917667 |
|
| 700 | 1 |
_aBowen, J. P. _q(Jonathan Peter), _d1956- _917668 |
|
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0816/99033669-d.html |
| 856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0816/99033669-t.html |
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
| 942 |
_2ddc _cO_SHELF |
||
| 999 |
_c8739 _d8739 |
||