Protocol Specification, Testing and Verification XIV, S.T. Vuong; Samuel T. Chanson

Автор: Lai
Название: Communication Protocol Specification and Verification
ISBN: 0792382846 ISBN-13(EAN): 9780792382843
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412820609 ISBN-13(EAN): 9780412820601
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Pierre Bourdet; Luc Mathieu
Название: Geometric Product Specification and Verification: Integration of Functionality
ISBN: 9048163420 ISBN-13(EAN): 9789048163427
Издательство: Springer
Рейтинг:
Цена: 26552.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Selected Conference Papers of the 7th CIRP International Seminar on Computer-Aided Tolerancing, held at the Ecole Normale Superieure de Cachan, France, 24-25 April 2001

Автор: J?rgen Altmann; Joseph Rotblat
Название: Verification of Arms Reductions
ISBN: 3642466869 ISBN-13(EAN): 9783642466861
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In cooperation with the Peace Research Institute Frankfurt (PRIF)