Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 74 Zásilkovna 49 PPL 99

CONCUR 2005 - Concurrency Theory

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha CONCUR 2005 - Concurrency Theory Martin Abadi
Libristo kód: 01560999
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Th... Celý popis
? points 154 b
1 540 včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží


Mohlo by vás také zajímat


TOP
The Secret History Donna Tartt / Brožovaná
common.buy 259
TOP
Film Noir Alain Silver / Pevná
common.buy 480
TOP
Twin Crowns Katherine Webber / Pevná
common.buy 249
Signal and the Noise Nate Silver / Pevná
common.buy 561
X-men: Red By Al Ewing / Brožovaná
common.buy 378
Comprehensible Guide to Controller Area Network Wilfried Voss / Brožovaná
common.buy 410
Halloumi Cookbook Heather Thomas / Pevná
common.buy 333
Kaplica Sykstynska na nowo odkryta Heinrich Pfeiffer / Brožovaná
common.buy 911
Lieder ohne Worte, für Klavier Christa Jost / Brožovaná
common.buy 1 032
Usborne Phonics Readers NOT KNOWN / Brožovaná
common.buy 3 576
Sacred or Neural? Anne L. C. Runehov / Pevná
common.buy 2 400
Crop Protection in Medieval Agriculture Jan C Zadoks / Brožovaná
common.buy 1 074
Iran-U.S. Claims Tribunal Reports: Volume 12 M. E. MacGlashan / Pevná
common.buy 8 668
Kommunikationsbedurfnisse berufstatiger Mediennutzer Ann-Kathrin Müller / Brožovaná
common.buy 2 116
Aufzeichnungen aus dem Kellerloch Fjodor M. Dostojewskij / Brožovaná
common.buy 346

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.

Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet