Verwandte Artikel zu Hierarchical Annotated Action Diagrams: An Interface-Oriente...

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

Cerny, Eduard; Berkane, Bachir; Girodias, Pierre

 
9781461556169: Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
Softcover
ISBN 10: 1461556163 ISBN 13: 9781461556169
Verlag: Springer, 2011

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

List of Figures. List of Tables. Preface. 1. Introduction. 2. Overview of HAAD Method. 3. Formal Characterization of HAAD. 4. HAAD VHDL Model. 5. Consistency, Causality and Compatibility. 6. Interface Verification Using CLP. 7. Example: Interfacing ARM7 and a Static RAM. 8. Summary and Recent Developments. References. A. Grammar of the HAAD Language. B. Proofs of Chapter 3. Index.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1461556163
ISBN 13 
9781461556169
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  079238301X ISBN 13:  9780792383017
Verlag: Springer, 1998
Hardcover