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.

CONCUR 2004 -- Concurrency Theory

Name: CONCUR 2004 -- Concurrency Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559740
Price: 51.09 EUR
Availability: InStock
Author: Philippa Gardner
ISBN: 9783540229407

15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

Philippa Gardner

Nobuko Yoshida

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01559740

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2004

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency T... Descripción completa

Código Libristo: 01559740

125 b

51.09 €

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

Hasta 30 días para devoluciones

Clientes que también han comprado

Meister der Bergmannschen Officin und Albrecht Durer's Beziehungen zur Basler Buchillustration Werner Weisbach

Tapa blanda

12.49 €

Hunger in Bayern 1816-1818; Politik und Gesellschaft in einer Staatskrise des fruhen 19. Jahrhunderts Gerald Müller

Tapa blanda

64.89 €

Hos Luigi Garlando

Tapa blanda

13.29 €

Revue d'économie industrielle 2018/1 - 161 collegium

Tapa blanda

36.79 €

settimana verde. Ricette, consigli, informazioni per cambiare noi stessi e il mondo in cui viviamo Mrs Veggy

Tapa blanda

25.99 €

Nuit de lumière Malicot

Tapa blanda

22.79 €

Jouer le jeu Fatima Daas

Tapa blanda

25.19 €

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.