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 - Narciso Marti-oliet - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642376344 - 13 kwietnia 2013
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 13 kwietnia 2013
ISBN13 9783642376344
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 283
Wymiary 155 × 235 × 15 mm   ·   417 g
Język Niemiecki  
Redaktor Marti-Oliet, Narciso
Redaktor Palomino, Miguel

Więcej od Narciso Marti-oliet

Pokaż wszystko