| 000 | 00688nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1995##################000#0#eng## | ||
| 020 | _a9783540588672 | ||
| 022 | _a94044675 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a670.427 LIN | ||
| 100 | _aLewerentz, Claus | ||
| 245 |
_aFormal development of reactive systems : case study production cell _cClaus Lewerentz, Thomas Lindner, eds |
||
| 260 |
_aBerlin _bSpringer-Verlag _cc1995 |
||
| 300 | _axi, 394 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references | ||
| 650 | _aComputer software - Development | ||
| 700 | _aLindner, Thomas | ||
| 990 | _a7ec8bcedac10000c3545c122eb03cb75 | ||
| 991 | _a99262 | ||
| 999 |
_c186950 _d186950 |
||