
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 28 de junho de 1994 |
ISBN13 | 9783540580430 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 692 |
Dimensões | 156 × 234 × 35 mm · 961 g |
Idioma | German |
Editor | Bakker, J. W. De |
Editor | De Roever, Willem-paul |
Editor | Rozenberg, Grzegorz |