[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

CONCUR 2005 - Concurrency Theory

Sprache EnglischEnglisch
Buch Broschur
Buch CONCUR 2005 - Concurrency Theory Martin Abadi
Libristo-Code: 01560999
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2005
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Th... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
The Secret History Donna Tartt / Broschur
common.buy 10.28 €
TOP
Film Noir Alain Silver / Hardcover
common.buy 22.19 €
TOP
Twin Crowns Katherine Webber / Hardcover
common.buy 9.88 €
Signal and the Noise Nate Silver / Hardcover
common.buy 21.99 €
X-men: Red By Al Ewing / Broschur
common.buy 16.03 €
Comprehensible Guide to Controller Area Network Wilfried Voss / Broschur
common.buy 18.05 €
Halloumi Cookbook Heather Thomas / Hardcover
common.buy 15.12 €
Kaplica Sykstynska na nowo odkryta Heinrich Pfeiffer / Broschur
common.buy 45.60 €
Lieder ohne Worte, für Klavier Christa Jost / Broschur
common.buy 32.24 €
Usborne Phonics Readers NOT KNOWN / Broschur
common.buy 142.56 €
sentimento della lingua. Conversazione con Giuseppe Antonelli Luca Serianni / Broschur
common.buy 16.03 €
Sacred or Neural? Anne L. C. Runehov / Hardcover
common.buy 99.68 €
Crop Protection in Medieval Agriculture Jan C Zadoks / Broschur
common.buy 42.77 €
Aufzeichnungen aus dem Kellerloch Fjodor M. Dostojewskij / Broschur
common.buy 12.11 €
Iran-U.S. Claims Tribunal Reports: Volume 12 M. E. MacGlashan / Hardcover
common.buy 360.29 €
Kommunikationsbedurfnisse berufstatiger Mediennutzer Ann-Kathrin Müller / Broschur
common.buy 48.38 €

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.

Informationen zum Buch

Vollständiger Name CONCUR 2005 - Concurrency Theory
Autor Martin Abadi, Luca de Alfaro
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 1280
EAN 9783540283096
ISBN 3540283099
Libristo-Code 01560999
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1830
Abmessungen 155 x 235 x 33

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf > Parallelrechner, parallele Verarbeitung
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto