Pages that link to "Item:Q868509"
From MaRDI portal
The following pages link to 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. (Q868509):
Displaying 4 items.
- Special issue: Programming languages and mechanized mathematics systems (PLMMS). Selected papers based on the presentations at the workshops, Hagenburg, Austria, June 29-30, 2007, and Birmingham, Uk, July 29, 2008 (Q843903) (← links)
- Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998 (Q1566920) (← links)
- 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, (Q1781065) (← links)
- Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 (Q1851387) (← links)