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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783642376344 - 13. april 2013
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

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

Vis alle

Mer med Narciso Marti-oliet