Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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: 224.15 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

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 01397318

Založba Springer, Berlin, november 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Celoten opis

Koda Libristo: 01397318

546 b

224.15 €

Na zalogi pri dobavitelju Odposlali bomo v 9-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Preži túto noc Riley Sager

Trda

14.05 €

Modely lásky Barry Vissell

Trda

6.62 €

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

Preglednica

12.54 €

Silence Scorcese

Mehka

10.33 €

message

Mehka

18.17 €

Faraonova šperkovnice Christa Holteiová

Mehka

6.82 €

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

Kartonka

4.11 €

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

Mehka

45.79 €

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

Trda

9.03 €

Brillo en la tierra del cangaço

Mehka

54.02 €

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

Spiralna

5.61 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Trda

46.59 €

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

Trda

60.25 €

¡SUEÑA!

Trda

19.07 €

Iphigenie auf Tauris Johann Wolfgang Goethe

Mehka

4.91 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Mehka

165.70 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Mehka

15.96 €

Mehr als Worte singt ein Lied Wilfried Koch

Mehka

22.49 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Igra

27.61 €

UN AIR DE MÉTRO Sophie Bureau

Mehka

12.64 €

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

Trda

57.03 €

Europa der Regionen. Joachim Bauer

Mehka

57.03 €

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

Mehka

15.16 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Mehka

63.36 €

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.