Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
E-BookPDFE-Book
CHF118.00

Beschreibung

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.

The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783642040818
ProduktartE-Book
EinbandE-Book
FormatPDF
Format HinweisWasserzeichen
Erscheinungsdatum01.09.2009
Auflage2009
ReiheLecture Notes in Computer Science
Reihen-Nr.5710
Seiten638 Seiten
SpracheEnglisch
IllustrationenXIII, 638 p.
Artikel-Nr.10535614
KatalogVC
Datenquelle-Nr.3933645
Weitere Details

Reihe

Autor