1. Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings. (2015) Editors: Hinze, Ralf; Voigtländer, Janis, 1977- Other Names: MPC (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. (2019) Editors: Hutton, Graham, 1968- Other Names: International Conference on the Mathematics of Program Construction, 13th Record Type: Book Extent: 1 online resource (viii, 467 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗