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 IV

Name: Formal Methods for Open Object-Based Distributed Systems IV
Brand: Springer, Berlin
SKU: 01397318
Price: 234.09 EUR
Availability: InStock
Author: Scott F. Smith
ISBN: 9780792379232

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith

Carolyn L. Talcott

Idioma

Inglés

Libro Tapa dura

Código Libristo: 01397318

Editores Springer, Berlin, noviembre 1999

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

Código Libristo: 01397318

573 b

234.09 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Vatikán a české země v letech 1914-1918 Marek Šmíd

Hoja

15.29 €

¡SUEÑA!

Tapa dura

20.59 €

Modely lásky Barry Vissell

Tapa dura

7.29 €

Mehr als Worte singt ein Lied Wilfried Koch

Tapa blanda

26.69 €

Silence Scorcese

Tapa blanda

12.59 €

Faraonova šperkovnice Christa Holteiová

Tapa blanda

7.59 €

Preži túto noc Riley Sager

Tapa dura

16.99 €

Hat der Entbindungsort einen Einfluss auf die Sterblichkeit von Neugeborenen Justice Ajaari

Tapa blanda

54.09 €

Brillo en la tierra del cangaço

Tapa blanda

63.89 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Tapa dura

55.29 €

Божественная комедия. В трёх томах Данте Алигьери

Tapa dura

54.69 €

Moje první knížka o mořích a oceánech Jane Newland

Libro de concertinas

6.09 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Juego

33.59 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Tapa blanda

18.89 €

UN AIR DE MÉTRO Sophie Bureau

Tapa blanda

14.89 €

Güter und Ungüter. Hans G. Fuchs

Tapa dura

62.09 €

Europa der Regionen. Joachim Bauer

Tapa blanda

56.59 €

Kinder und Fernsehen unter dem Aspekt von Gewaltwahrnehmung und Angstbewaltigung Eva Oestreich

Tapa blanda

17.89 €

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Tapa blanda

22.79 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Tapa blanda

73.99 €

A la caza de la realidad Mario Augusto Bunge

Tapa blanda

51.69 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Tapa blanda

49.19 €

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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. §Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.