LIBRISTO
LIBROAMANTO
povinné
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 PPL shop 49 Balíkovna 69 PPL kurýr 74 PPL box 39 Balíkovna 49 Výdejní místo DPD 49 Zásilkovna 39

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, 1

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Open Object-Based Distributed Systems IV, 1 Scott F. Smith
Libristo kód: 02016690
Nakladatelství Springer, Berlin, srpen 2012
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Celý popis
? points 471 b
4 707
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží


Zákazníci také koupili


Pensiero Umano, Intelligenza Artificiale Luigi Resta / Kniha Brožovaná
common.buy 347
Vun der Long op d'Zong Goerens / Kniha Pevná
common.buy 612
Kommunalrecht Martin Burgi / Kniha Brožovaná
common.buy 575
Lauran kevatlukukausi Ikola / Audiokniha MP3
common.buy 134
Dejiny slovenskej literárnej fantastiky Miloš Ferko / Kniha Brožovaná
common.buy 103
MARCHE DU SEXE Rubin Kniha Brožovaná
common.buy 695
Der Deutsche Wortschatz Nach Sachgruppen Alfred Gerstenkorn / Kniha Pevná
common.buy 2 505
Promesa de Sabiduria en los Profetas Mayores Sr Jorge a Leignadier / Kniha Brožovaná
common.buy 217
Sourozenecké konstelace Kevin Leman / Kniha Brožovaná
common.buy 322
Markgräflerland Wolfgang Abel / Kniha Brožovaná
common.buy 491
Vom Elfenbeinturm Ins Rampenlicht Beatrice Dernbach / Kniha Brožovaná
common.buy 996

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat


Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?