Häftad, Engelska, 2007
CONCUR 2007 - Concurrency Theory
Av Luís Caires, Vasco T. Vasconcelos
568 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2007-08-22
- Mått: 155 x 235 x undefined mm
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 510
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540744061
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.