Hierarchical Annotated Action Diagrams, Eduard Cerny; Bachir Berkane; Pierre Girodias; Kar

Автор: Eduard Cerny; Bachir Berkane; Pierre Girodias; Kar
Название: Hierarchical Annotated Action Diagrams
ISBN: 079238301X ISBN-13(EAN): 9780792383017
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a description methodology that was inspired by Timing Diagrams and Process Algebras, the so-called Hierarchical Annotated Diagrams. This book is intended for those who are involved in defining methods and tools for system-level design specification and verification.