Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Programming and Software Engineering - Ralf Hinze - Kirjat - Springer International Publishing AG - 9783319197968 - perjantai 12. kesäkuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Programming and Software Engineering 2015 edition

Ralf Hinze

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ti - ke 16. - 24. syys
Lisää iMusic-toivelistallesi
Eller

Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Programming and Software Engineering 2015 edition

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.


323 pages, 44 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 12. kesäkuuta 2015
ISBN13 9783319197968
Tuottaja Springer International Publishing AG
Sivujen määrä 323
Mitta 155 × 235 × 18 mm   ·   5,15 kg
Kieli French  
Toimittaja Hinze, Ralf
Toimittaja Voigtlander, Janis

Näytä kaikki

Lisää tuotteita Ralf Hinze