![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Program Construction Volume 69 || Some theoretical aspects of program construction
Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.Volume:
10.1007/BF
Year:
1979
Language:
english
DOI:
10.1007/BFb0014685
File:
PDF, 1.31 MB
english, 1979