Formal Techniques for Networked and Distributed Systems - FORTE 2005

Name: Formal Techniques for Networked and Distributed Systems - FORTE 2005
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540291893
Price: 2567 CZK
Availability: InStock

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Autor: Farn Wang

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

2 567 Kč

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on F...

Informace o knize

Autor

Farn Wang

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2005

Stránek

558

EAN

9783540291893

ISBN

354029189X

Enbook ID

01561216

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1760

Rozměry

155 x 235 x 37

Kompletní popis

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005.The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také