Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /

Lignende værker

• Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
  af: Tarmo Uustalu
  Udgivet: (2006, c2006)
• Mathematics of Program Construction : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /
  af: Philippe Audebaud, Christine Paulin-Mohring
  Udgivet: (2008, c2008)
• Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
  af: Eerke A. Boiten, Bernhard Möller
  Udgivet: (2002, c2002)
• Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings /
  af: Dexter Kozen
  Udgivet: (2004, c2004)
• Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /
  af: Johan Jeuring
  Udgivet: (1998, c1998)