Cover Image

Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /

Bibliographic Details
Corporate Author:	Conference on Mathematics of Program Construction
Other Authors:	Van de Snepscheut, Jan L. A., 1953-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 375.
Subjects:	Computer programming > Congresses. Computer science > Mathematics > Congresses.

Similar Items

Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings /
Published: (2010)

Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings /
by: Snepscheut, Jan L. A. van de
Published: (1989)

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
Published: (1998)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
Published: (1993)

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
Published: (2006)

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
Published: (2002)

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
Published: (2004)

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings /
Published: (2000)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published: (1995)

Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings /
Published: (2000)

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
Published: (2002)

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
Published: (2004)

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings /
Published: (1990)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
Published: (1993)

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /
Published: (2008)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995 ; proceedings /
Published: (1995)

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
Published: (1988)

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings /
Published: (1986)

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
Published: (2006)

Programming and mathematical method /
Published: (1992)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /
Published: (2007)

Mathematical computer programs ; a compilation /
by: Arnold, Jay, 1940-, et al.

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Constructing quality software : proceedings of the IFIP Working Conference on Constructing Quality Software /
Published: (1978)

Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications. : Colloque sur les fondements des mathematiques, les machines mathematiques, et leurs applications. Kolloquium uber die Grundlagen der Mathematik, Mathematische Maschinen, und Ihre Anwendungen. [Papers /
Published: (1965)

Mathematical Programming System Extended (MPSX) Mixed Integer Programming (MIP) program description /
Published: (1973)

Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 /
Published: (1991)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

Compiler construction : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings /
Published: (2003)

Genetic programming : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings /
Published: (2002)

Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Mathematical methods in program development /
Published: (1997)

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings /
Published: (1992)

Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 /
Published: (1986)

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings /
Published: (1994)

Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April, 1996 : proceedings /
Published: (1996)

Genetic programming : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings /
Published: (2002)

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings /
Published: (1989)

Compiler construction : 4th International Conference CC'92, Paderborn, FRG, October 5-7, 1992 : proceedings /
Published: (1992)