International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal)

Books by International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal) on BookTides.