Stan Budkowski; Ana Cavalli; Elie Najm Formal Description Techniques and Protocol Specification, Testing and Verification 9780412847608

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

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

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

в Мои желания

Автор: Stan Budkowski; Ana Cavalli; Elie Najm
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 9780412847608
Издательство: Springer
Классификация:

Техника связи / дальней связи

ISBN-10: 0412847604
Обложка/Формат: Hardcover
Страницы: 472
Вес: 0.86 кг.
Дата издания: 31.10.1998
Серия: IFIP Advances in Information and Communication Technology
Язык: English
Размер: 234 x 156 x 27
Основная тема: Engineering
Подзаголовок: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.

Formal Description Techniques and Protocol Specification, Testing and Verification, Stan Budkowski; Ana Cavalli; Elie Najm