
Conte aos seus amigos sobre este item:
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues 2013 edition
Narciso Marti-oliet
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues 2013 edition
Narciso Marti-oliet
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;
283 pages, 71 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 13 de abril de 2013 |
ISBN13 | 9783642376344 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 283 |
Dimensões | 155 × 235 × 15 mm · 417 g |
Idioma | German |
Editor | Marti-Oliet, Narciso |
Editor | Palomino, Miguel |
Mais por Narciso Marti-oliet
Ver tudo de Narciso Marti-oliet ( por exemplo Paperback Book )