Book's title: | Specification and development of interactive systems : focus on streams, interfaces, and refinement Manfred Broy, Ketil Stølen. |
---|---|
Library of Congress Control Number: | 00047090 |
International Standard Book Number (ISBN): | 0387950737 (alk. paper) |
Cataloging Source: | DLC, DLC DLC |
Authentication Code: | pcc |
Library of Congress Call Number: | QA76.758 .B783 2001 |
Dewey Decimal Classification Number: | 003 21 |
Personal Name: | Broy, M., 1949- |
Publication, Distribution, etc.: | New York . Springer, (c)2001. |
Physical Description: | xv, 348 p. : ill. ;, 24 cm. |
Title: | Monographs in computer science |
Bibliography, etc. Note: | Includes bibliographical references (p. [329]-334) and index. |
Personal Name: | Stølen, Ketil. |
Rubrics: |
Software engineering
Systems engineering |