CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues - Luis Caires - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540744061 - 22. August 2007
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Luis Caires

Preis
Íkr 8.219
exkl. MwSt.

Bestellware

Lieferdatum: ca. 14. - 25. Jul
Zu deiner iMusic Wunschliste hinzufügen

CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Thirty full papers are presented along with three important invited papers. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.


510 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 22. August 2007
ISBN13 9783540744061
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 510
Maße 155 × 235 × 26 mm   ·   780 g
Redakteur Caires, Luis
Redakteur Vasconcelos, Vasco T.

Alle anzeigen

Weitere Titel von Luis Caires