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.

Remote Storage