Opening book details…
Can I read Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings on EtoBox?
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings by Ralf Hinze, Janis Voigtländer (eds.) is a computer science book available to read on EtoBox.
What is Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings about?
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. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems
Who reads Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Ralf Hinze, Janis Voigtländer (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319197968
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
More by Ralf Hinze, Janis Voigtländer (eds.)
Browse all works by Ralf Hinze, Janis Voigtländer (eds.)
Similar books
- Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings — Graham Hutton,Gerhard Goos,Juris Hartmanis,Elisa Bertino,Wen Gao,Bernhard Steffen,Gerhard Woeginger,Moti Yung (2019)
- Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Lecture Notes in Computer Science (7342)) — Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (2012)
- Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings — Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (2010)
- Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in Computer Science, 4014) — Robin Cockett (auth.), Tarmo Uustalu (2006)
- Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science, 3125) — Greg Nelson (auth.), Dexter Kozen (2004)
- Mobile Web and Intelligent Information Systems : 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings — Muhammad Younas, Irfan Awan, Massimo Mecella (2015)