01165cam a22003134a 4500 12170925 BD-DhUL 20140723152006.0 000912s2001 nyua b 001 0 eng 00047090 0387950737 (alk. paper) DLC DLC BD-DhUL pcc QA76.758 .B783 2001 003 21 BRS Broy, M., 1949- Specification and development of interactive systems : focus on streams, interfaces, and refinement / Manfred Broy, Ketil Stølen. New York : Springer, c2001. xv, 348 p. : ill. ; 24 cm. US$ 69.95 Monographs in computer science Includes bibliographical references (p. [329]-334) and index. Software engineering. Systems engineering. Stølen, Ketil. 7 cbc orignew 1 ocip 20 y-gencatlg ddc BK to ASCD pc17 09-12-00; jf02 09-14-00 ; jf11 to sl 9-14-00; jf12 to Dewey 09-15-00; aa11 09-15-00; bk rec'd, to CIP ver. ps02 06-04-01 jf16 2001-09-05 copy 2 added, to BCCD 386 386 0 0 ddc 0 003_000000000000000_BRS 0 671 DUSL DUSL GEN 2003-05-11 Purchase 003 BRS 406052 2014-07-23 1 2014-07-23 BK