Caires, Luís / Vasconcelos, Vasco T. (eds.)
CONCUR 2007 - Concurrency Theory
<P>This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007.</P> <P>The 30 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 112 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.</P>
Verlag: Springer-Verlag GmbH
Ausstattung: XIII, 507 p., with online files/update
ISBN: 3540744061
Preis: 67,95 €
Hier bei Buecher.de bestellen!
Bestellen Sie über obige Links! Sie fördern dadurch die Digitalisierung weiterer Bücher, da Zeno.org eine Provision von dem Sponsor erhält. Wann immer Sie etwas bestellen möchten - prüfen Sie vorher die Millionen von Angeboten, die im Zeno.org-Shop beschrieben sind. Bookmarken Sie die Einstiegsseite in den Zeno.org-Shop für spätere Gelegenheiten. Vielen Dank für Ihre Unterstützung.
- ZenoServer 2.4.26
- Zenodot
- Digitale Bibliothek
- Downloadshop
- Retrodigitalisierung
- Nutzungsbedingungen
- Impressum