Recomienda este artículo a tus amigos:
CONCUR 2014 - Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings - Theoretical Computer Science and General Issues Paolo Baldan 2014 edition
CONCUR 2014 - Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings - Theoretical Computer Science and General Issues
Paolo Baldan
The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
616 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 6 de agosto de 2014 |
| ISBN13 | 9783662445839 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 594 |
| Dimensiones | 155 × 235 × 32 mm · 852 g |
| Lengua | Alemán |
| Editor | Baldan, Paolo |
| Editor | University of Roma "La Sapienza" |