Recent Trends in Algebraic Development Techniques
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
66,50 €On orderDelivery: 2-3 weeks
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;
- ISBN-13
- 9783642376344
- ISBN-10
- 3642376347
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-04-13
- Pages
- 283
- Dimensions
- 235x155x