
Conte aos seus amigos sobre este item:
On Concurrent Programming - Texts in Computer Science 1997 edition
Fred B. Schneider
On Concurrent Programming - Texts in Computer Science 1997 edition
Fred B. Schneider
A survey of concurrent computing, beginning with proposational logic and concluding with concurrent programming. Exercises at the end of each chapter cover the main themes. The work emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming.
473 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 6 de maio de 1997 |
ISBN13 | 9780387949420 |
Editoras | Springer-Verlag New York Inc. |
Páginas | 473 |
Dimensões | 156 × 234 × 26 mm · 870 g |
Idioma | English French |
Ver tudo de Fred B. Schneider ( por exemplo Paperback Book e Hardcover Book )