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: 50.02 EUR
Availability: InStock

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

Autor: David de Frutos-Escrig, Manuel Nunez

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.02 €

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

Informácie o knihe

Autor

David de Frutos-Escrig, Manuel Nunez

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2004

Stránok

382

EAN

9783540232520

ISBN

3540232524

Enbook ID

01559882

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1210

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež