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 - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642376344 - 13. April 2013
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 31. Dez - 8. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 13. April 2013
ISBN13 9783642376344
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 283
Maße 155 × 235 × 15 mm   ·   417 g
Sprache Deutsch  
Redakteur Marti-Oliet, Narciso
Redakteur Palomino, Miguel

Weitere Titel von Narciso Marti-oliet

Alle anzeigen