- 0 Ergebnisse
Kleinster Preis: € 18,90, größter Preis: € 159,22, Mittelwert: € 100,39
1
Bestellen
bei booklooker.de
€ 18,90
Versand: € 2,901
Bestellengesponserter Link
Gastin, Paul:

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin (u. a.) Taschenbuch Englisch 2010 - 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:Versand nach Deutschland. (EUR 2.90) Buchbär
2
Bestellen
bei booklooker.de
€ 73,90
Versand: € 0,001
Bestellengesponserter Link

Gastin, Paul:

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin (u. a.) Taschenbuch Englisch 2010 - 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: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedi
Bestellen
bei Indigo.ca
C$ 195,50
(ca. € 137,57)
Bestellengesponserter Link
Concur 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedi - neues Buch

2010

ISBN: 9783642153747

This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit´eDenis Diderot, August 31-September 3, 2010. CONC… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
4
CONCUR 2010 - Concurrency Theory - Paul Gastin
Bestellen
bei BookDepository.com
€ 159,22
Versand: € 0,001
Bestellengesponserter Link
Paul Gastin:
CONCUR 2010 - Concurrency Theory - Taschenbuch

2010, ISBN: 9783642153747

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00)
5
CONCUR 2010 - Concurrency Theory - Paul Gastin; Francois Laroussinie
Bestellen
bei lehmanns.de
€ 112,34
Versand: € 0,001
Bestellengesponserter Link
Paul Gastin; Francois Laroussinie:
CONCUR 2010 - Concurrency Theory - Taschenbuch

2010, ISBN: 9783642153747

21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:sofort lieferbar. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Details zum Buch
Concur 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedi

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: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedi


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 (Vienna)
Detailseite zuletzt geändert am 2022-01-24T21:33:31+01:00 (Vienna)
ISBN/EAN: 9783642153747

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


Daten vom Verlag:

Autor/in: Paul Gastin; Francois Laroussinie
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; CONCUR 2010 - Concurrency Theory - 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
Verlag: Springer; Springer Berlin
600 Seiten
Erscheinungsjahr: 2010-08-18
Berlin; Heidelberg; DE
Gewicht: 0,919 kg
Sprache: Englisch
112,34 € (DE)
115,49 € (AT)
140,14 CHF (CH)
POD
XIII, 600 p. 134 illus.

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Simulation; abstract machines; atomicity checki; biology-inspired systems; concurrency models; design; domain theoretic modelsi; learning; model checking; model logics; modeling; pervasive computing; process algebras; resource logicsq; verification; C; Software Engineering/Programming and Operating Systems; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl. Internet); Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Compilers and Interpreters; Computer and Information Systems Applications; Computer Science; Theoretische Informatik; Netzwerk-Hardware; Compiler und Übersetzer; Angewandte Informatik; EA

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.- Applications of Shellable Complexes to Distributed Computing.- Concurrency and Composition in a Stochastic World.- Taming Distributed Asynchronous Systems.- Trust in Anonymity Networks.- Learning I/O Automata.- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.- Information Flow in Interactive Systems.- From Multi to Single Stack Automata.- A Geometric Approach to the Problem of Unique Decomposition of Processes.- A Logic for True Concurrency.- A Theory of Design-by-Contract for Distributed Multiparty Interactions.- Bisimilarity of One-Counter Processes Is PSPACE-Complete.- Nash Equilibria for Reachability Objectives in Multi-player Timed Games.- Stochastic Real-Time Games with Qualitative Timed Automata Objectives.- Session Types as Intuitionistic Linear Propositions.- Session Types for Access and Information Flow Control.- Simulation Distances.- Mean-Payoff Automaton Expressions.- Obliging Games.- Multipebble Simulations for Alternating Automata.- Parameterized Verification of Ad Hoc Networks.- Termination in Impure Concurrent Languages.- Buffered Communication Analysis in Distributed Multiparty Sessions.- Efficient Bisimilarities from Second-Order Reaction Semantics for ?-Calculus.- On the Use of Non-deterministic Automata for Presburger Arithmetic.- Reasoning about Optimistic Concurrency Using a Program Logic for History.- Theory by Process.- On the Compositionality of Round Abstraction.- A Linear Account of Session Types in the Pi Calculus.- Generic Forward and Backward Simulations II: Probabilistic Simulation.- Kleene, Rabin, and Scott Are Available.- Reversing Higher-Order Pi.- Modal Logic over Higher Dimensional Automata.- A Communication Based Model for Games of Imperfect Information.- Flat Coalgebraic Fixed Point Logics.- Conditional Automata: A Tool for Safe Removal of Negligible Events.- Representations of Petri Net Interactions.- Communicating Transactions.- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.

< zum Archiv...