Formal Techniques for Networked and Distributed Systems - FORTE 2004

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

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Autor: David de Frutos-Escrig, Manuel Nunez

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

David de Frutos-Escrig, Manuel Nunez

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2004

Stránek

382

EAN

9783540232520

ISBN

3540232524

Enbook ID

01559882

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

1210

Rozměry

155 x 235 x 22

Kompletní popis

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

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 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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