phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

CONCUR 2005 - Concurrency Theory

Limba englezăengleză
Carte Carte broșată
Carte CONCUR 2005 - Concurrency Theory Martin Abadi
Codul Libristo: 01560999
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2005
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Th... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
The Secret History Donna Tartt / Carte broșată
common.buy 54 lei
top
Twin Crowns Katherine Webber / Copertă tare
common.buy 50 lei
Film Noir Alain Silver / Copertă tare
common.buy 112 lei
X-men: Red By Al Ewing / Carte broșată
common.buy 82 lei
Signal and the Noise Nate Silver / Copertă tare
common.buy 115 lei
Comprehensible Guide to Controller Area Network Wilfried Voss / Carte broșată
common.buy 91 lei
Halloumi Cookbook Heather Thomas / Copertă tare
common.buy 77 lei
Kaplica Sykstynska na nowo odkryta Heinrich Pfeiffer / Carte broșată
common.buy 230 lei
Usborne Phonics Readers NOT KNOWN / Carte broșată
common.buy 720 lei
Lieder ohne Worte, für Klavier Christa Jost / Carte broșată
common.buy 160 lei
sentimento della lingua. Conversazione con Giuseppe Antonelli Luca Serianni / Carte broșată
common.buy 82 lei
Iran-U.S. Claims Tribunal Reports: Volume 12 M. E. MacGlashan / Copertă tare
common.buy 1.819 lei
Kommunikationsbedurfnisse berufstatiger Mediennutzer Ann-Kathrin Müller / Carte broșată
common.buy 447 lei
Aufzeichnungen aus dem Kellerloch Fjodor M. Dostojewskij / Carte broșată
common.buy 70 lei
Die Bedeutung des Stammkapitals für die GmbH Evelyn Bezler / Carte broșată
common.buy 130 lei
Crop Protection in Medieval Agriculture Jan C Zadoks / Carte broșată
common.buy 216 lei

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.

Informații despre carte

Titlu complet CONCUR 2005 - Concurrency Theory
Autor Martin Abadi, Luca de Alfaro
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 1280
EAN 9783540283096
ISBN 3540283099
Codul Libristo 01560999
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1830
Dimensiuni 155 x 235 x 33

Categorii

Computing & Information Technology > Computer science > Computer architecture & logic design > Parallel processing
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo