
Tell your friends about this item:
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers - Lecture Notes in Computer Science 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 - Lecture Notes in Computer Science 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | April 13, 2013 |
ISBN13 | 9783642376344 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 283 |
Dimensions | 155 × 235 × 15 mm · 417 g |
Language | German |
Editor | Marti-Oliet, Narciso |
Editor | Palomino, Miguel |