Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

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: 1187.9 RON
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

Limba

engleză

Carte Copertă tare

Codul Libristo: 01397318

Editura Springer, Berlin, noiembrie 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Descrierea completă

Codul Libristo: 01397318

548 b

1 187.90 lei

În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Velké samolepky Dopravní prostředky - Aktivity s více než 80 samolepkami

Cu spiră

33.61 lei

Brillo en la tierra del cangaço

Carte broșată

321.16 lei

Mimi a Líza: Tmy sa nemusíš báť Katarína Kerekesová

Copertă tare

43.60 lei

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

Carte broșată

256.85 lei

Preži túto noc Riley Sager

Copertă tare

83.66 lei

Faraonova šperkovnice Christa Holteiová

Carte broșată

37.25 lei

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Copertă tare

261.63 lei

message

Carte broșată

110.72 lei

Silence Scorcese

Carte broșată

64.83 lei

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

Foaie

75.03 lei

Modely lásky Barry Vissell

Copertă tare

35.79 lei

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Carte broșată

233.43 lei

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

Copertă tare

331.36 lei

¡SUEÑA!

Copertă tare

112.49 lei

Iphigenie auf Tauris Johann Wolfgang Goethe

Carte broșată

23.62 lei

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

Cărți pliante

31.00 lei

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Carte broșată

89.49 lei

Mehr als Worte singt ein Lied Wilfried Koch

Carte broșată

126.34 lei

Burg Dublin Irland - 1.000 Teile (Puzzle)

Joc

165.16 lei

UN AIR DE MÉTRO Sophie Bureau

Carte broșată

70.86 lei

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

Copertă tare

335.32 lei

Europa der Regionen. Joachim Bauer

Carte broșată

335.32 lei

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Carte broșată

353.95 lei

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Carte broșată

107.92 lei

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.