Description
About this book
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany,…
Catalogue preview, eBooks.com
Edition details
- Author / contributors: Ralf Hinze (Editor); Janis Voigtländer (Editor)
- Publisher: Springer International Publishing
- Publication date: June 09, 2015
- Language: English
- ISBNs: 9783319197968; 9783319197975
- Digital formats: PDF





Reviews
There are no reviews yet.