
Conte aos seus amigos sobre este item:
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
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 22 de agosto de 2007 |
ISBN13 | 9783540744061 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 510 |
Dimensões | 155 × 235 × 26 mm · 780 g |
Editor | Caires, Luis |
Editor | Vasconcelos, Vasco T. |
Mostrar tudo
Mais por Luis Caires
Ver tudo de Luis Caires ( por exemplo Paperback Book e Hardcover Book )