Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 11, 1997 |
ISBN13 | 9783540631415 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 428 |
Dimensions | 156 × 234 × 22 mm · 607 g |
Editor | Mazurkiewicz, Antoni |
Editor | Winkowski, Jozef |