Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

by Eduard Cerny (Author), Bachir Berkane (Author), Pierre Girodias (Author)

New
Illustrated
1998
$174.25

$174.25

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 236
Edition: 1998
Publisher: Springer
Published: 31 Oct 1998
ISBN 10: 079238301X
ISBN 13: 9780792383017

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

New

$174.25

$174.25

More Information