Hierarchical annotated action diagrams
Subtitle: an interface-oriented specification and verification method
By: E. Cerny ... [et al.].
Contributors: Cerny, Eduard.
Publisher: Kluwer Academic Publishers
Published: 1998
Place of publication: Boston
Language: eng
Number of pages: 211
Subjects: Computer input-output equipment -- Design and construction -- Mathematics; Computer input-output equipment -- Charts, diagrams, etc
Notes: Includes bibliographical references and (p. [173]-181) and index.