| 000 | 00897nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1995##################000#0#eng## | ||
| 020 | _a9780815313629 | ||
| 022 | _a94023432 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.21 CRA | ||
| 100 | _aCraigen, Dan | ||
| 245 |
_aIndustrial applications of formal methods to model, design, and analyze computer systems : an international survey _cDan Craigen, Susan Gerhart, Ted Ralston |
||
| 260 |
_aPark Ridge, N.J _bNoyes Data Corp _cc1995 |
||
| 300 | _axii, 306 p. ; 27 cm. | ||
| 500 | _aOriginally published: Gaithersburg, Md. : National Institute of Standards and Technology, 1993. Includes bibliographical references (p. 74-77) | ||
| 650 | _aSystem analysis | ||
| 650 | _aSystem design | ||
| 700 | _aGerhart, Susan L | ||
| 700 | _aRalston, Theodore L | ||
| 990 | _ace7b1afbac10000c4d6eb29656088688 | ||
| 991 | _a362378 | ||
| 999 |
_c214317 _d214317 |
||