Recent Trends in Algebraic Development Techniques

Editeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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;
Sur commande
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 / EAN 9783642376344
Editeur Springer-Verlag Berlin and Heidelberg GmbH & Co. KG