
Fortell venner om denne varen:
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
Pris
NOK 559
Bestillingsvarer
Forventes levert 20. - 28. okt
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 13. april 2013 |
ISBN13 | 9783642376344 |
Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
Antall sider | 283 |
Mål | 155 × 235 × 15 mm · 417 g |
Språk | Tysk |
Redaktør | Marti-Oliet, Narciso |
Redaktør | Palomino, Miguel |