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, July 2002. (Q1781065)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 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, |
scientific article; zbMATH DE number 2176308
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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, July 2002. |
scientific article; zbMATH DE number 2176308 |
Statements
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, July 2002. (English)
0 references
15 June 2005
0 references
The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1001.00052).
0 references
0.8318728
0 references
0.8182545
0 references
0.8176592
0 references
0.81454605
0 references
0.7950454
0 references
0.7946864
0 references
0.7927324
0 references
