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: 214.72 PLN
Availability: InStock

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

Autor: David de Frutos-Escrig, Manuel Nunez

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

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

Informacje o książce

Autor

David de Frutos-Escrig, Manuel Nunez

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2004

strony

382

EAN

9783540232520

ISBN

3540232524

Enbook ID

01559882

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1210

Wymiary

155 x 235 x 22

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również