La Poste Autrichienne 5.99 Coursier DPD 6.49 Service de messagerie GLS 4.49

CONCUR 2005 - Concurrency Theory

Langue AnglaisAnglais
Livre Livre de poche
Livre CONCUR 2005 - Concurrency Theory Martin Abadi
Code Libristo: 01560999
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Th... Description détaillée
? points 161 b
68.07 včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours


Ceci pourrait également vous intéresser


TOP
The Secret History Donna Tartt / Livre de poche
common.buy 10.91
TOP
Film Noir Alain Silver / Livre relié
common.buy 23.54
TOP
Twin Crowns Katherine Webber / Livre relié
common.buy 10.48
Signal and the Noise Nate Silver / Livre relié
common.buy 23.32
X-men: Red By Al Ewing / Livre de poche
common.buy 17.01
Comprehensible Guide to Controller Area Network Wilfried Voss / Livre de poche
common.buy 19.15
Halloumi Cookbook Heather Thomas / Livre relié
common.buy 16.05
Kaplica Sykstynska na nowo odkryta Heinrich Pfeiffer / Livre de poche
common.buy 48.37
Lieder ohne Worte, für Klavier Christa Jost / Livre de poche
common.buy 34.20
Usborne Phonics Readers NOT KNOWN / Livre de poche
common.buy 151.24
Sacred or Neural? Anne L. C. Runehov / Livre relié
common.buy 105.75
Crop Protection in Medieval Agriculture Jan C Zadoks / Livre de poche
common.buy 45.38
Iran-U.S. Claims Tribunal Reports: Volume 12 M. E. MacGlashan / Livre relié
common.buy 382.24
Kommunikationsbedurfnisse berufstatiger Mediennutzer Ann-Kathrin Müller / Livre de poche
common.buy 51.33
Aufzeichnungen aus dem Kellerloch Fjodor M. Dostojewskij / Livre de poche
common.buy 12.85

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.

Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo