Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 (Q1851387)
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: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 |
scientific article; zbMATH DE number 1846606
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 |
scientific article; zbMATH DE number 1846606 |
Statements
Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 (English)
0 references
17 December 2002
0 references
The articles of this volume will be reviewed individually. The 6th conference 2002 has been reviewed (see Zbl 0993.00042).
0 references
Special issue
0 references
Ponte de Lima (Portugal)
0 references
Papers
0 references
Conference
0 references
MPC 2000
0 references
Program construction
0 references
0.96618664
0 references
0.9157403
0 references
0.8962461
0 references
0.8926176
0 references
0.8903978
0 references
0.8866735
0 references
0 references
0.8790017
0 references
0.87781405
0 references
