Communication Protocol Specification and Verification, Lai
Автор: S.T. Vuong; Samuel T. Chanson Название: Protocol Specification, Testing and Verification XIV ISBN: 0412636409 ISBN-13(EAN): 9780412636400 Издательство: Springer Рейтинг: Цена: 27245.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents research worldwide on communications protocols, emphasizing specification and compliance testing. This book presents the proceedings of the fourteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing and held in Vancouver, Canada.
Автор: Jukka Suomela Название: Structural Information and Communication Complexity ISBN: 3319483137 ISBN-13(EAN): 9783319483139 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016, held in Helsinki, Finland in July 2016. The 25 full papers presented were carefully reviewed and selected from 50 submissions.
Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).
Автор: Piotr Dembinski; Marek Sredniawa Название: Protocol Specification, Testing and Verification XV ISBN: 0412716208 ISBN-13(EAN): 9780412716201 Издательство: Springer Рейтинг: Цена: 34799.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru