Hierarchical annotated action diagrams
an interface-oriented specification and verification method
Edición de la obra Hierarchical annotated action diagrams
| Autor | Eduard Cerny, Bachir Berkane, Pierre Girodias, Karim Khordoc |
|---|---|
| Editorial | Kluwer Academic Publishers |
| Fecha de publicación | 1998 |
| Lugar | Boston |
| Idioma | inglés |
| Páginas | 211 |
| ISBN-10 | 079238301X |
| LCCN | 98039320 |