Normal view MARC view ISBD view

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

Cerny, Eduard

Hierarchical annotated action diagrams : an interface-oriented specification and verification method E. Cerny ... [et al.] - Dordrecht ; Boston Kluwer Academic Publishers 1998 - xvi, 211 p. : ill. ; 25 cm

Includes bibliographical references and (p. [173]-181) and index

ISBN: 9780792383017

ISSN: 98039320

Subjects--Topical Terms:
Computer input-output equipment - Charts, diagrams, etc
Computer input-output equipment - Design and construction - Mathematics

Dewey Class. No.: 621.3981 CER

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

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

Find us on the map