Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642021374
Price: 50.14 EUR
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

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.14 €

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

Informácie o knihe

Autor

David Lee, Antonia Lopes, Arnd Poetzsch-Heffter

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2009

Stránok

249

EAN

9783642021374

ISBN

3642021379

Enbook ID

01649869

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

409

Rozmery

155 x 235 x 15

Kompletný popis

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.

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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

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

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