Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01397318

Nakladateľstvo Springer, Berlin, november 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Celý popis

Libristo kód: 01397318

523 b

216.63 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

List

13.76 €

¡SUEÑA!

Pevná

21.56 €

Modely lásky Barry Vissell

Pevná

6.57 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Hra

31.59 €

Silence Scorcese

Brožovaná

12.55 €

Faraonova šperkovnice Christa Holteiová

Brožovaná

6.98 €

Preži túto noc Riley Sager

Pevná

14.47 €

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

Brožovaná

49.01 €

Brillo en la tierra del cangaço

Brožovaná

57.92 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Pevná

49.92 €

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

Pevná

55.39 €

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

Leporelo

6.17 €

Mehr als Worte singt ein Lied Wilfried Koch

Brožovaná

24.20 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Brožovaná

17.11 €

UN AIR DE MÉTRO Sophie Bureau

Brožovaná

13.56 €

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

Pevná

58.84 €

Europa der Regionen. Joachim Bauer

Brožovaná

53.57 €

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Brožovaná

20.55 €

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

Brožovaná

16.20 €

A la caza de la realidad Mario Augusto Bunge

Brožovaná

48.30 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Brožovaná

67.55 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Brožovaná

44.55 €

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.