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. - Monographs in computer science .
Includes bibliographical references (p. [329]-334) and index.
0387950737 (alk. paper)
00047090
Software engineering.
Systems engineering.
QA76.758 / .B783 2001
003 / BRS
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. - Monographs in computer science .
Includes bibliographical references (p. [329]-334) and index.
0387950737 (alk. paper)
00047090
Software engineering.
Systems engineering.
QA76.758 / .B783 2001
003 / BRS