Pages that link to "Item:Q1024264"
From MaRDI portal
The following pages link to 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. (Q1024264):
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)
