
Tell your friends about this item:
A Decade of Concurrency: Reflections and Perspectives - Rex School / Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 - Proceedings - Lecture Notes in Computer Science
J W De Bakker
A Decade of Concurrency: Reflections and Perspectives - Rex School / Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 - Proceedings - Lecture Notes in Computer Science
J W De Bakker
Reflecting the culmination of a 10-year research project carried out by three Dutch groups, this volume explores how formal methods from the fields of syntax, semantics and proof theory can improve our understanding of the nature of parallel computing.
692 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 28, 1994 |
ISBN13 | 9783540580430 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 692 |
Dimensions | 156 × 234 × 35 mm · 961 g |
Language | German |
Editor | Bakker, J. W. De |
Editor | De Roever, Willem-paul |
Editor | Rozenberg, Grzegorz |