Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
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
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2009
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Cały opis
? points 125 b
223.89 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Ammiraglia di tutte le zattere Paolo Colavero / Książka Miękka
common.buy 83.49 zł
Finitud y tiempo Julian Serna Arango / E-book Adobe ePub DRM
common.buy 18.99 zł
Gomma di Tamarindo Chandana S / Książka Miękka
common.buy 308.52 zł
Sortiment Chakra Power Stones Halsketten, 28 Stück sortiert / Gra/Zabawka Zabawka
common.buy 1 122.27 zł
Ein neues Leben Antje Rávik Strubel / Książka Twarda
common.buy 93.35 zł
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Książka Miękka
common.buy 158.98 zł
El amor, el sexo y el matrimonio DOVAL / Książka Książka
common.buy 53.81 zł
Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad / Książka binding.
common.buy 107.73 zł
Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago / Książka Miękka
common.buy 185.89 zł
My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Książka Miękka
common.buy 75.79 zł
Caballos salvajes JORDI CUSSA / Audio CD Audio
common.buy 117.38 zł
Repetitorium Schmerztherapie Michael Hatzenbühler / Książka Miękka
common.buy 266.00 zł
Palabras con corazón María Eugenia Manrique / Książka Miękka
common.buy 97.66 zł

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.

Informacje o książce

Pełna nazwa Formal Techniques for Distributed Systems
Autor David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 249
EAN 9783642021374
ISBN 3642021379
Kod Libristo 01649869
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 409
Wymiary 155 x 235 x 15

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Narcissist: You Can't Love a Narcissist. How to Escape from a Narcissistic Relationship. Recognize Emotional Manipulation and Stop Wendy Jackson / Książka Miękka
common.buy 44.77 zł
Why Daddy Why? Carol E. Selbig / Książka Miękka
common.buy 94.27 zł
The Declaration of Independence Elizabeth Raum / Książka Miękka
common.buy 38.71 zł
The Centaur Algernon Blackwood / Książka Miękka
common.buy 84.11 zł
Using Student Feedback for Successful Teaching Zierer / Książka Miękka
common.buy 186.81 zł
Charles Rennie Mackintosh Colouring Book Eilidh Muldoon / Książka Miękka
common.buy 53.81 zł
City of Wisdom and Blood: Fortunes of France 2 Robert Merle / Książka Miękka
common.buy 47.54 zł
Horses Don't Lie Chris Irwin / E-book Adobe ePub DRM
common.buy 47.34 zł
Familiar Spanish Travels William Dean Howells / Książka Miękka
common.buy 162.06 zł
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Książka Twarda
common.buy 137.10 zł
BABADADA black-and-white, Plattduutsch mit Artikel (Holstein) - Thai (in thai script), dat Bildwoeoerbook - visual dictionary (in thai script) Babadada Gmbh / Książka Miękka
common.buy 29.26 zł
TOP
Blue Lock 6 Yusuke Nomura / Książka Miękka
common.buy 42.31 zł

Logowanie

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

 
obowiązkowe
obowiązkowe
Zapomniane hasło

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?