Conte aos seus amigos sobre este item:
Concur'97, Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997: Proceedings - Lecture Notes in Computer Science A Mazurkiewicz
Concur'97, Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997: Proceedings - Lecture Notes in Computer Science
A Mazurkiewicz
Forming the proceedings of the 8th International Conference on Concurrency Theory held in 1997, this volume covers topics in the science of concurrency theory and its applications, including: reactive systems, hybrid systems, model checking, partial orders, and program logic calculi.
428 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 11 de junho de 1997 |
| ISBN13 | 9783540631415 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 428 |
| Dimensões | 156 × 234 × 22 mm · 607 g |
| Idioma | Alemão |
| Editor | Mazurkiewicz, Antoni |
| Editor | Winkowski, Jozef |