
Freunden von diesem Artikel berichten:
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
Luis Caires
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
Alle Titel von Luis Caires ansehen ( u. a. Taschenbuch und Gebundenes Buch )