LIBRISTO
LIBROAMANTO
obvezno
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 Zbirna točka DPD 2.99 Kurirska služba GLS 5.49 Kurir DPD 3.49 Kurirska služba 3.49 Zbirno mesto Express One 3.49 Zbirno mesto 3.49 Dostava preko Pošte Slovenije 3.49

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods for Open Object-Based Distributed Systems IV, 1 Scott F. Smith
Koda Libristo: 02016690
Založba Springer, Berlin, avgust 2012
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Celoten opis
? points 471 b
194.88
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo


Drugi so kupili tudi


Lauran kevatlukukausi Ikola / Zvočnica MP3
common.buy 4.96
Kommunalrecht Martin Burgi / Knjiga Mehka
common.buy 23.81
Vun der Long op d'Zong Goerens / Knjiga Trda
common.buy 25.33
Vom Elfenbeinturm Ins Rampenlicht Beatrice Dernbach / Knjiga Mehka
common.buy 41.24
MARCHE DU SEXE Rubin Knjiga Mehka
common.buy 26.24
Markgräflerland Wolfgang Abel / Knjiga Mehka
common.buy 20.36
Der Deutsche Wortschatz Nach Sachgruppen Alfred Gerstenkorn / Knjiga Trda
common.buy 113.09
Promesa de Sabiduria en los Profetas Mayores Sr Jorge a Leignadier / Knjiga Mehka
common.buy 9.01
Sourozenecké konstelace Kevin Leman / Knjiga Mehka
common.buy 11.54

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?