Conte aos seus amigos sobre este item:
Deductive Program Design - Nato Asi Series / Nato Asi Subseries F:
Manfred Broy
Deductive Program Design - Nato Asi Series / Nato Asi Subseries F:
Manfred Broy
This volume presents research in the description of distributed systems and the design calculi of software and hardware using functional, algebraic, logical and programming calculi.
470 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 18 de junho de 1996 |
ISBN13 | 9783540609476 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 470 |
Dimensões | 155 × 235 × 26 mm · 848 g |
Idioma | French |
Editor | Broy, Manfred |
Mostrar tudo
Mais por Manfred Broy
Ver tudo de Manfred Broy ( por exemplo Paperback Book , Hardcover Book e Book )