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

Варианты приобретения

Цена: 23757.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Eduard Cerny; Bachir Berkane; Pierre Girodias; Kar
Название: Hierarchical Annotated Action Diagrams
ISBN: 9780792383017
Издательство: Springer
Классификация:

Анализ и синтез систем

ISBN-10: 079238301X
Обложка/Формат: Hardcover
Страницы: 211
Вес: 0.50 кг.
Дата издания: 31.10.1998
Язык: English
Размер: 241 x 163 x 19
Основная тема: Engineering
Подзаголовок: An Interface-Oriented Specification and Verification Method
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.

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