Protocol Specification, Testing and Verification XV, Piotr Dembinski; Marek Sredniawa

Автор: 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.

Автор: 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.

Автор: 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)

Автор: Ana Cavalli; Stan Budkowski
Название: Protocol Test Systems VIII
ISBN: 0412781107 ISBN-13(EAN): 9780412781100
Издательство: Springer
Рейтинг:
Цена: 35777.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These papers from the 1995 International Workshop on Protocol Test Systems present research in the area of architecture and protocols for computer networks. Themes covered include testing methods, test environments, test generation, and algorithms and languages.

Автор: Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Название: Protocol Test Systems
ISBN: 1475763107 ISBN-13(EAN): 9781475763102
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Gredler Hannes, Goralski Walter
Название: The Complete IS-IS Routing Protocol
ISBN: 1852338229 ISBN-13(EAN): 9781852338220
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Detailed case studies illustrate interoperability issues between the two major routing vendors, Cisco Systems and Juniper NetworksHighly pratical: explains why IS-IS works the way it does to how IS-IS behaves in the real world of routers and networks

Автор: Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Название: Protocol Test Systems
ISBN: 0412711605 ISBN-13(EAN): 9780412711602
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the research results in protocol testing. This book contains the proceedings of the seventh IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS `94), organized by the International Federation for Information Processing and held in Tokyo, Japan in November 1994.

Автор: 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).