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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783642376344 - 13. april 2013
Ved uoverensstemmelse mellem cover og titel gælder 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

Narciso Marti-oliet

Pris
HK$ 541,25

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 13. april 2013
ISBN13 9783642376344
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 283
Mål 155 × 235 × 15 mm   ·   417 g
Sprog Tysk  
Klipper/redaktør Marti-Oliet, Narciso
Klipper/redaktør Palomino, Miguel

Vis alle

Mere med Narciso Marti-oliet