| 000 | 00574nam a2200193 4500 | ||
|---|---|---|---|
| 008 | 160616s2001 000 0 | ||
| 245 | _aSpecification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement : (MCS) | ||
| 100 | _aBroy, Manfred. | ||
| 100 | _aStolen, Ketil. | ||
| 260 | _aNew York | ||
| 260 | _bSpringer | ||
| 260 | _c2001 | ||
| 300 | _a348 | ||
| 440 | _aMonographs in Computer Science | ||
| 020 | _a0 387 95073 7 | ||
| 650 |
_aSoftware Engineering _aSystems Engineering |
||
| 942 |
_cBK _2BK16801 |
||
| 080 | _a681.9 BRO | ||
| 999 |
_c16801 _d16801 |
||