Mathematics of Program Construction (MPC)
11. MPC 2012: Madrid, Spain
Jeremy Gibbons, Pablo Nogueira (Eds.): Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7342 ISBN 978-3-642-31112-3 [ contents ]
10. MPC 2010: Québec City, Canada
Claude Bolduc, Jules Desharnais, Béchir Ktari (Eds.): Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6120 ISBN 978-3-642-13320-6 [ contents ]
9. MPC 2008: Marseille, France
Philippe Audebaud, Christine Paulin-Mohring (Eds.): Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5133 ISBN 978-3-540-70593-2 [ contents ]
8. MPC 2006: Kuressaare, Estonia
Tarmo Uustalu (Ed.): Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4014 ISBN 3-540-35631-2 [ contents ]
7. MPC 2004: Stirling, Scotland, UK
Dexter Kozen, Carron Shankland (Eds.): Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3125 ISBN 3-540-22380-0 [ contents ]
6. MPC 2002: Dagstuhl, Germany
Eerke A. Boiten, Bernhard Möller (Eds.): Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2386 ISBN 3-540-43857-2 [ contents ]
5. MPC 2000: Ponte de Lima, Portugal
Roland Carl Backhouse, José Nuno Oliveira (Eds.): Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1837 ISBN 3-540-67727-5 [ contents ]
4. MPC 1998: Marstrand, Sweden
Johan Jeuring (Ed.): Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1422 ISBN 3-540-64591-8 [ contents ]
3. MPC 1995: Kloster Irsee, Germany
Bernhard Möller (Ed.): Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science 947 ISBN 3-540-60117-1 [ contents ]
2. MPC 1992: Oxford, U.K.
Richard S. Bird, Carroll Morgan, Jim Woodcock (Eds.): Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Springer 1993 Lecture Notes in Computer Science 669 ISBN 3-540-56625-2 [ contents ]
1. MPC 1989: Groningen, The Netherlands
Jan L. A. van de Snepscheut (Ed.): Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Springer 1989 Lecture Notes in Computer Science 375 ISBN 3-540-51305-1 [ contents ]



