Hierarchical annotated action diagrams: an interface-oriented specification and verification method
Boston [u.a.]: Kluwer Academic Publishers, 1998
Sammelwerk, Gedruckte Ressource
- XVI, 211 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Hierarchical annotated action diagrams: an interface-oriented specification and verification method
|
---|---|
Verantwortlichkeitsangabe: | E. Cerny .. |
Autor/in / Beteiligte Person: | Cerny, Eduard |
Veröffentlichung: | Boston [u.a.]: Kluwer Academic Publishers, 1998 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVI, 211 S. : graph. Darst. |
ISBN: | 079238301x |
Sonstiges: |
|