Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings

DOI10.1007/3-540-56625-2zbMATH Open0875.00136OpenAlexW2481980341MaRDI QIDQ1310274

Author name not available (Why is that?)

Publication date: 8 December 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56625-2

zbMATH Keywords

ConferenceProceedingsMathematicsOxford (GB)Program construction

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01)

Related Items (2)

Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 ⋮ Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures

Recommendations

• Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25--27, 2012. Proceedings 👍 👎
• Mathematics of program construction. 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12--14, 2004. Proceedings. 👍 👎
• Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15--18, 2008. Proceedings 👍 👎
• Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings 👍 👎
• Mathematics of program construction. 4th international conference, MPC '98, Marstrand, Sweden, June 15--17, 1998. Proceedings 👍 👎
• Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings 👍 👎
• Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8--10, 2002. Proceedings 👍 👎
• Mathematics of program construction. Selected papers from the 3rd international conference on mathematics of program construction, July 17-21, 1995, Kloster Irsee, Gemany 👍 👎
• Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 -- July 1, 2015. Proceedings 👍 👎

This page was built for publication: Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1310274)