Loading edition detail...
Preparing this view.
International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal)
This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.
| Publisher | Springer |
|---|---|
| Pages | 255 |
| Search language | english |
| ISBN_10 | 3-540-67727-5 primary |
Publication-specific alternatives linked to the same work.