- 0 Ergebnisse
Kleinster Preis: € 89,69, größter Preis: € 112,34, Mittelwert: € 100,23
1
CONCUR 2010 - Concurrency Theory  21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings  Paul Gastin  Taschenbuch  Lecture Notes in Computer Science - Gastin, Paul
Bestellen
bei booklooker.de
€ 90,90
Versand: € 0,00
Bestellen
Gastin, Paul:

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Taschenbuch Lecture Notes in Computer Science - Taschenbuch

2010, ISBN: 9783642153747

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, Augus… Mehr…

Versandkosten:Sans frais d'envoi. (EUR 0.00)

Buchbär
2
CONCUR 2010 - Concurrency Theory  21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings  Paul Gastin  Taschenbuch  Lecture Notes in Computer Science - Gastin, Paul
Bestellen
bei booklooker.de
€ 95,90
Versand: € 0,00
Bestellen

Gastin, Paul:

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Taschenbuch Lecture Notes in Computer Science - Taschenbuch

2010, ISBN: 9783642153747

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, Augus… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

preigu
3
CONCUR 2010 - Concurrency Theory - Paul Gastin
Bestellen
bei booklooker.de
€ 112,34
Versand: € 0,00
Bestellen
Paul Gastin:
CONCUR 2010 - Concurrency Theory - Taschenbuch

2010

ISBN: 9783642153747

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

Buchhandlung Kühn GmbH
Bezahlte Anzeige
4
CONCUR 2010 - Concurrency Theory
Bestellen
bei Averdo.com
€ 89,69
Versand: € 0,00
Bestellen
CONCUR 2010 - Concurrency Theory - Taschenbuch

2010, ISBN: 9783642153747

Erscheinungsdatum: 18.08.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: CONCUR 2010 - Concurrency Theory, Titelzusatz: 21th International Conference, CONCUR 2010, Par… Mehr…

Nr. 70515477. Versandkosten:, Next Day, DE. (EUR 0.00)

5
CONCUR 2010 - Concurrency Theory.  - Buch
Bestellen
bei Weltbild.de
€ 112,34
Versand: € 0,00
Bestellen
CONCUR 2010 - Concurrency Theory. - Buch - neues Buch

2010, ISBN: 9783642153747

CONCUR 2010 - Concurrency Theory. This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 … Mehr…

27063762. Versandkosten:in stock, , , lieferbar, DE. (EUR 0.00)


Details zum Buch
CONCUR 2010 - Concurrency Theory

This book constitutes the refereed proceedigs of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.

Detailangaben zum Buch - CONCUR 2010 - Concurrency Theory


EAN (ISBN-13): 9783642153747
ISBN (ISBN-10): 3642153747
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
600 Seiten
Gewicht: 0,917 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-06-13T07:59:30+02:00 (Berlin)
Detailseite zuletzt geändert am 2020-08-31T12:50:01+02:00 (Berlin)
ISBN/EAN: 9783642153747

ISBN - alternative Schreibweisen:
3-642-15374-7, 978-3-642-15374-7


< zum Archiv...