phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

CONCUR 2005 - Concurrency Theory

Język AngielskiAngielski
Książka Miękka
Książka CONCUR 2005 - Concurrency Theory Martin Abadi
Kod Libristo: 01560999
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2005
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Th... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
The Secret History Donna Tartt / Miękka
common.buy 41.31 zł
TOP
Film Noir Alain Silver / Twarda
common.buy 89.31 zł
TOP
Twin Crowns Katherine Webber / Twarda
common.buy 39.81 zł
Signal and the Noise Nate Silver / Twarda
common.buy 89.41 zł
X-men: Red By Al Ewing / Miękka
common.buy 64.26 zł
Comprehensible Guide to Controller Area Network Wilfried Voss / Miękka
common.buy 72.44 zł
Halloumi Cookbook Heather Thomas / Twarda
common.buy 60.57 zł
Kaplica Sykstynska na nowo odkryta Heinrich Pfeiffer / Miękka
common.buy 172.74 zł
Lieder ohne Worte, für Klavier Christa Jost / Miękka
common.buy 175.53 zł
Usborne Phonics Readers NOT KNOWN / Miękka
common.buy 576.21 zł
sentimento della lingua. Conversazione con Giuseppe Antonelli Luca Serianni / Miękka
common.buy 68.35 zł
Sacred or Neural? Anne L. C. Runehov / Twarda
common.buy 408.15 zł
Crop Protection in Medieval Agriculture Jan C Zadoks / Miękka
common.buy 172.44 zł
Iran-U.S. Claims Tribunal Reports: Volume 12 M. E. MacGlashan / Twarda
common.buy 1 474.18 zł
Kommunikationsbedurfnisse berufstatiger Mediennutzer Ann-Kathrin Müller / Miękka
common.buy 359.85 zł
Aufzeichnungen aus dem Kellerloch Fjodor M. Dostojewskij / Miękka
common.buy 55.58 zł

This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005.§The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.

Informacje o książce

Pełna nazwa CONCUR 2005 - Concurrency Theory
Autor Martin Abadi, Luca de Alfaro
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 1280
EAN 9783540283096
ISBN 3540283099
Kod Libristo 01560999
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1830
Wymiary 155 x 235 x 33

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne > Przetwarzanie równoległe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
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) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
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

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