Gå direkte til innholdet
Recent Trends in Algebraic Development Techniques
Spar

Recent Trends in Algebraic Development Techniques

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;
Undertittel
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Opplag
2013 ed.
ISBN
9783642376344
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.4.2013
Antall sider
283