Recomienda este artículo a tus amigos:
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues Luis Caires 2007 edition
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 22 de agosto de 2007 |
| ISBN13 | 9783540744061 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 510 |
| Dimensiones | 155 × 235 × 26 mm · 780 g |
| Editor | Caires, Luis |
| Editor | Vasconcelos, Vasco T. |
Mas por Luis Caires
Mostrar todoMere med samme udgiver
Ver todo de Luis Caires ( Ej. Paperback Book y Hardcover Book )