Hierarchical annotated action diagrams : an interface-oriented specification and verification method /

Bibliographic Details
Other Authors:	Cerny, Eduard
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1998]
Subjects:	Computer input-output equipment > Design and construction > Mathematics. Computer input-output equipment > Charts, diagrams, etc.

Description
Physical Description:	xvi, 211 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and (pages [173]-181) and index.
ISBN:	079238301X (acid-free paper)