Special issue: Methods of software design: techniques and applications. Selected, revised and extended versions based on the presentation at the 6th international conference on the mathematics of program construction (MPC2002), Schloß\ Dagstuhl, Germany,
DOI10.1016/J.SCICO.2004.01.009zbMATH Open1075.68507OpenAlexW574792144MaRDI QIDQ1781065
Author name not available (Why is that?)
Publication date: 15 June 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2004.01.009
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Special issue: Mathematics of program construction (MPC 2008). Selected papers based on the presentations at the 9th international conference, Luminy, France, July 2008. 👍 👎
- Special issue: Extended papers based on the presentations at the eighth IEEE international conference on software engineering and formal methods, Pisa, Italy, September 13--18, 2010 👍 👎
- Special issue: Dedicated to selected papers from the conference of program construction 2004 (MPC 2004), the 7th international conference on the mathematics of program construction, Stirling, July 2004. 👍 👎
- Special issue: Mathematics of program construction (MPC 2006). Selected papers based on the presentations at the 8th international conference, Kuressaare, Estonia, July 3--5, 2006. 👍 👎
- Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996 👍 👎
- Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8--10, 2002. Proceedings 👍 👎
- Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 👍 👎
- Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 -- July 1, 2015. Proceedings 👍 👎
This page was built for publication: Special issue: Methods of software design: techniques and applications. Selected, revised and extended versions based on the presentation at the 6th international conference on the mathematics of program construction (MPC2002), Schloß\ Dagstuhl, Germany,
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1781065)
