Pages that link to "Item:Q625344"
From MaRDI portal
The following pages link to Special issue: Mathematics of program construction (MPC 2008). Selected papers based on the presentations at the 9th international conference, Luminy, France, July 2008. (Q625344):
Displaying 5 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)
- Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15--18, 2008. Proceedings (Q932104) (← 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)
