Erschienen: 31.08.2007 Abbildung von Caires / Vasconcelos | CONCUR 2007 - Concurrency Theory | 2007

Caires / Vasconcelos

CONCUR 2007 - Concurrency Theory

18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

lieferbar, ca. 10 Tage

106,99 €

inkl. Mwst.

2007. Buch. xiii, 510 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-74406-1

Format (B x L): 15,5 x 23,5 cm

Gewicht: 801 g

In englischer Sprache

Produktbeschreibung

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...