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 Pošta 4.99 Overseas 4.99 Box Now 4.49 GLS 4.99 DPD točka 3.49 GLS paketomat 3.99

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

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques for Distributed Systems David Lee
Libristo kod: 01649869
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Cijeli opis
? points 125 b
51.75
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda


Kupci su kupili i


My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Knjiga Meki uvez
common.buy 16.60
Ein neues Leben Antje Rávik Strubel / Knjiga Tvrdi uvez
common.buy 21.56
Ammiraglia di tutte le zattere Paolo Colavero / Knjiga Meki uvez
common.buy 19.54
Gomma di Tamarindo Chandana S / Knjiga Meki uvez
common.buy 71.19
Finitud y tiempo Julian Serna Arango / E-knjiga Adobe ePub DRM
common.buy 4.14
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Knjiga Meki uvez
common.buy 35.03
Caballos salvajes JORDI CUSSA / Audio Audio CD
common.buy 26.02
Repetitorium Schmerztherapie Michael Hatzenbühler / Knjiga Meki uvez
common.buy 61.37
Palabras con corazón María Eugenia Manrique / Knjiga Meki uvez
common.buy 21.56

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

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


The Centaur Algernon Blackwood / Knjiga Meki uvez
common.buy 19.44
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Knjiga Tvrdi uvez
common.buy 31.69
Familiar Spanish Travels William Dean Howells / Knjiga Meki uvez
common.buy 39.59
Horses Don't Lie Chris Irwin / E-knjiga Adobe ePub DRM
common.buy 10.22

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?