Theoretical Foundations of Programming Methodology
Subtitle: Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
Publisher: Springer
Published: 2012
Language: eng
ISBN-13: 9789400978935