Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642021374
Price: 212.24 PLN
Availability: InStock

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Autor: David Lee, Antonia Lopes, Arnd Poetzsch-Heffter

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

212.24 zł

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

Informacje o książce

Autor

David Lee, Antonia Lopes, Arnd Poetzsch-Heffter

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2009

strony

249

EAN

9783642021374

ISBN

3642021379

Enbook ID

01649869

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

409

Wymiary

155 x 235 x 15

Pełny opis

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

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 Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

The Centaur

Using Student Feedback for Successful Teaching

Roger Ludlow, The Colonial Lawmaker

Familiar Spanish Travels

Horses Don't Lie

Narcissist: You Can't Love a Narcissist. How to Escape from a Narcissistic Relationship. Recognize Emotional Manipulation and Stop

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

My Mom is Awesome (Danish Book for Kids)

Ein neues Leben

Ammiraglia di tutte le zattere

Gomma di Tamarindo

Finitud y tiempo

El amor, el sexo y el matrimonio

Personal de servicios generales de la administración de la comunidad foral de navarra. Test

Negligencias médicas en anestesiología y responsabilidad civil del anestesista

Vorstellung Vom Weltgebaude Im Wandel Der Zeiten

Caballos salvajes

Repetitorium Schmerztherapie

Palabras con corazón