LIBRISTO
LIBROAMANTO
obvezno
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 DPD točka 3.49 GLS Kurir 4.99 GLS paketomat 3.99 Hrvatska pošta 4.99 Dostava Overseas 4.99 Box Now 4.49

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods for Open Object-Based Distributed Systems Martin Steffen
Libristo kod: 01560735
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Fo... Cijeli opis
? points 125 b
51.65
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat


Kupci su kupili i


Joomla 4.0 logisch! Daniel Schmitz-Buchholz / Knjiga Meki uvez
common.buy 7.27
Estetický prožitek Vlastimil Zuska / Knjiga Meki uvez
common.buy 10.81
Top
Dna moczanowa Dieta i jadlospisy dla smakoszy Marcin Majewski / Knjiga Meki uvez
common.buy 8.18
Penthesilea Heinrich von Kleist / Knjiga Meki uvez
common.buy 48.11
Povoljno
Sci fuoripista. Manuale di tecniche di discesa Alessandro Fattori / Knjiga Meki uvez
common.buy 19.10
Die 30 besten Urlaubs- und Sommerlieder Simone Sommerland / Audio Audio CD
common.buy 12.42
Pamietnik czarnego noska Janina Porazinska / Knjiga Meki uvez
common.buy 4.24
Biológia II. Dr. Szerényi Gábor / Knjiga Tvrdi uvez
common.buy 28.20

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). §The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i


Nuclear Locally Convex Spaces Albrecht Pietsch / Knjiga Meki uvez
common.buy 51.65
Building a Better World in Your Backyard Shawn Klassen-Koop / Knjiga Meki uvez
common.buy 14.24
Child Labour and School Enrolment Horst Friedrich Rolly / Knjiga Meki uvez
common.buy 47.00
Unlikely Adventures of the Shergill Sisters Balli Kaur Jaswal / Knjiga Meki uvez
common.buy 11.41
Making Moon: A British Sci-Fi Cult Classic Simon Ward / Knjiga Tvrdi uvez
common.buy 32.74
I'd Fight the World Peter La Chapelle / Knjiga Tvrdi uvez
common.buy 68.73
Kings of Mississippi Barnes / Knjiga Tvrdi uvez
common.buy 84.71
Multiple Sclerosis and Related Disorders Robert J. Fox / Knjiga Meki uvez
common.buy 104.62
Mommy, What I would do if I were you, Joe Roberts / Knjiga Meki uvez
common.buy 10.30
Beast A Zavarelli / Knjiga Meki uvez
common.buy 14.85
In His Dreams: The Complete Collection Mason Lee / Knjiga Meki uvez
common.buy 6.56
Anthropology's Politics Lara Deeb / Knjiga Meki uvez
common.buy 25.16
Deconstructing Courtship: The Dream Seeds Gerald A Edozien / Knjiga Meki uvez
common.buy 14.85

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?