Theoretical-Foundations-of-Programming-Methodology-Lecture-Notes-of-an-International-Summer-School-directed-by-F-L-Bauer-E-W-Dijkstra-and-C-A-R-Hoare-Nato-Science-Series-C-Band-38 93,08 EUR*