Miguel Palomino - Böcker
Visar alla böcker från författaren Miguel Palomino. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Häftad, Engelska, 2013
536 kr
Skickas inom 10-15 vardagar
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;