Formal Techniques for Distributed Systems

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

Автор: David Lee, Antonia Lopes, Arnd Poetzsch-Heffter

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

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

Информация за книгата

Автор

David Lee, Antonia Lopes, Arnd Poetzsch-Heffter

Език

Английски език

Корици

Книга - С меки корици

Издадена

2009

страници

249

EAN

9783642021374

ISBN

3642021379

Enbook ID

01649869

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

409

Размери

155 x 235 x 15

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

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

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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