Mathematics of Program Construction
Subtitle: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Publisher: Springer
Published: Jun 12, 2015
Format: paperback
Number of pages: 337
ISBN-13: 9783319197968
Notes: Source title: Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings (Lecture Notes in Computer Science (9129))