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 Methods for Open Object-Based Distributed Systems, 1

Name: Formal Methods for Open Object-Based Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254113
Price: 225.39 EUR
Availability: InStock
Author: Paolo Ciancarini
ISBN: 9781475752663

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15 18, 1999, Florence, Italy

Paolo Ciancarini

Alessandro Fantechi

Roberto Gorrieri

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02254113

Editores Springer, Berlin, enero 2013

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several relate... Descripción completa

Código Libristo: 02254113

552 b

225.39 €

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

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

Clientes que también han comprado

Disney,The Princess and the Frog

Juego

15.99 €

Abenteuer Der Neujahrsnacht Heinrich Zschokke

Tapa dura

24.69 €

Bei Sonnenaufgang. Der siebte Fall für Gamache Hans-Werner Meyer

Digital

22.09 €

mondo dei fagioli ribelli. Il diritto alla normalità dei bambini con malattia renale cronica. Svezzamento, cure, scuola, socialità, alimentazione, spo Bruno Damini

Tapa blanda

27.69 €

Depression im Jugendalter - unter besonderer Berücksichtigung der Komorbidität zwischen Angst und Depression und Aggression und Depression Alexandra Nussbaumer

Tapa blanda

52.19 €

13. Bezirk von Berlin Volker Ludecke

Tapa blanda

12.19 €

Him - Hofe Willi Gorzny

Tapa dura

140.99 €

El Secreto de la Felicidad: Bitacora de un Viaje al Interior Montse Lopez Ballester

Tapa blanda

12.49 €

Ein Motiv aus dem Kalender Klassische Lastkraftwagen (Puzzle) Stefan Bau

Juego

36.49 €

Hirurgiya sosudov Alexej Lyzikov

Tapa blanda

55.39 €

Des Voies d'Acces Sur Les Voies Spermatiques Profondes Jobard-P

Tapa blanda

15.09 €

Slownik medyczny polsko-norweski + definicje hasel + CD (slownik elektroniczny) Lemańska Aleksandra

Tapa blanda

18.99 €

Mýtus o znovuzrození Jakub Drábik

Tapa blanda

11.19 €

Moeglichkeiten und Grenzen betrieblicher Gesundheitszirkel Martin Franke

Tapa blanda

37.49 €

Ponyhof Apfelblüte (Band 1) - Lena und Samson Pippa Young

Tapa dura

10.09 €

Integration Der Englischen in Die Deutsche Sprache Im 19. Und 20. Jahrhundert Florian Schneider

Tapa blanda

17.89 €

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. §This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. §Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.