Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 5236 CZK
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

Nakladatelství Springer, Berlin, listopad 1999

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

Libristo kód: 01397318

524 b

5 236 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Silence Scorcese

Brožovaná

300 Kč

Modely lásky Barry Vissell

Pevná

160 Kč

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

List

334 Kč

Mehr als Worte singt ein Lied Wilfried Koch

Brožovaná

550 Kč

message

Brožovaná

512 Kč

Faraonova šperkovnice Christa Holteiová

Brožovaná

160 Kč

Preži túto noc Riley Sager

Pevná

351 Kč

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

Brožovaná

1 115 Kč

Brillo en la tierra del cangaço

Brožovaná

1 318 Kč

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Pevná

1 134 Kč

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

Pevná

1 529 Kč

¡SUEÑA!

Pevná

466 Kč

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

Leporelo

193 Kč

Burg Dublin Irland - 1.000 Teile (Puzzle)

Hra

762 Kč

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Brožovaná

389 Kč

UN AIR DE MÉTRO Sophie Bureau

Brožovaná

308 Kč

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

Pevná

1 548 Kč

Europa der Regionen. Joachim Bauer

Brožovaná

1 548 Kč

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

Brožovaná

368 Kč

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Brožovaná

469 Kč

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Brožovaná

1 544 Kč

A la caza de la realidad Mario Augusto Bunge

Brožovaná

1 166 Kč

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Brožovaná

1 014 Kč

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.