Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02668867
Price: 56.59 EUR
Availability: InStock
Author: Catuscia Palamidessi
ISBN: 9783662436127

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, P

Catuscia Palamidessi

Erika Ábrahám

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02668867

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2014

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec... Descripción completa

Código Libristo: 02668867

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Det flata racket 1.0 Sam Skogh

Tapa blanda

15.29 €

Hábitos saludables que alargan la vida: ideas y consejos para vivir más y mejor AA. VV.

Tapa blanda

7.79 €

Weltkinderkunde Wolfgang Schad

Tapa blanda

65.79 €

To proste Jerzy Pomianowski

Tapa blanda

10.19 €

Die Ortliche Betaubung Ihre Wissenschaftlichen Grundlagen Und Praktische Anwendung (1921) Heinrich Braun

Tapa blanda

43.59 €

Cookomix spécial apéro

Tapa dura

29.89 €

Rázštepy pery a podnebia Radomír Kokavec

Tapa blanda

1.99 €

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.