| 000 | 00744pam a2200229a 44500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 160408b1995 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3540588671 | ||
| 040 | _cIIT Kanpur | ||
| 041 | _aeng | ||
| 082 |
_a001.64 _bL497 |
||
| 245 | 1 |
_aLECTURE NOTES IN COMPUTER SCIENCE Vol. 891 _bformal development of reactive systems: case study production cell _cedited by Claus Lewerentz and Thomas Lindner |
|
| 260 |
_bSpringer-Verlag _c1995 _aBerlin |
||
| 300 | _axi,394 | ||
| 440 | _aLecture Notes in computer science; Vol. 891 | ||
| 650 | _aLecture notes | ||
| 650 | _aCOMPUTER SCIENCE | ||
| 700 | _aLindner,Thomas, ed. | ||
| 700 | _aLewerentz, Claus, ed. | ||
| 856 | _uhttp://link.springer.com/bookseries/558 | ||
| 942 | _cBK | ||
| 999 |
_c320626 _d320626 |
||