LIBRISTO
LIBROAMANTO
obowiązkowe
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 Poczta Polska 18.99 Paczkomat 13.99 InPost 12.99 Punkt DPD 13.99

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Techniques for Distributed Systems David Lee
Kod Libristo: 01649869
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Cały opis
? points 125 b
218.99
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru


Klienci kupili także


My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Książka Miękka
common.buy 70.25
Ein neues Leben Antje Rávik Strubel / Książka Twarda
common.buy 91.42
Ammiraglia di tutte le zattere Paolo Colavero / Książka Miękka
common.buy 82.69
Gomma di Tamarindo Chandana S / Książka Miękka
common.buy 301.49
Finitud y tiempo Julian Serna Arango / E-book Adobe ePub DRM
common.buy 18.56
El amor, el sexo y el matrimonio DOVAL / Książka Książka
common.buy 52.88
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Książka Miękka
common.buy 156.46
Caballos salvajes JORDI CUSSA / Audio CD Audio
common.buy 115.11
Repetitorium Schmerztherapie Michael Hatzenbühler / Książka Miękka
common.buy 259.84
Palabras con corazón María Eugenia Manrique / Książka Miękka
common.buy 95.84

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Mogłoby Cię także zainteresować


The Centaur Algernon Blackwood / Książka Miękka
common.buy 82.19
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Książka Twarda
common.buy 133.98
Familiar Spanish Travels William Dean Howells / Książka Miękka
common.buy 158.37
Horses Don't Lie Chris Irwin / E-book Adobe ePub DRM
common.buy 45.86

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?