Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à 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: 226.49 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

Langue

Anglais

Livre Livre relié

Code Libristo: 01397318

Éditeurs Springer, Berlin, novembre 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Description détaillée

Code Libristo: 01397318

548 b

226.49 €

Stockage externe en petites quantités Expédition sous 13-18 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Silence Scorcese

Livre de poche

12.43 €

Modely lásky Barry Vissell

Livre relié

6.76 €

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

Feuille

14.25 €

Mehr als Worte singt ein Lied Wilfried Koch

Livre de poche

24.16 €

message

Livre de poche

21.22 €

Faraonova šperkovnice Christa Holteiová

Livre de poche

7.07 €

Preži túto noc Riley Sager

Livre relié

15.97 €

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

Livre de poche

48.93 €

Brillo en la tierra del cangaço

Livre de poche

57.83 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Livre relié

49.84 €

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

Livre relié

63.19 €

¡SUEÑA!

Livre relié

21.43 €

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

Livre Concertina

5.96 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Jeu

31.54 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Livre de poche

17.08 €

UN AIR DE MÉTRO Sophie Bureau

Livre de poche

13.54 €

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

Livre relié

63.90 €

Europa der Regionen. Joachim Bauer

Livre de poche

63.90 €

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

Livre de poche

16.17 €

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Livre de poche

20.52 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Livre de poche

67.43 €

A la caza de la realidad Mario Augusto Bunge

Livre de poche

50.14 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Livre de poche

44.48 €

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.