Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Full Title: | Program Construction: International Summer School (Lecture Notes in Computer Science, 69) |
---|---|
ISBN: | 354009251X |
ISBN13: | 9783540092513 |
Authors: |
Bauer, F.L. 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. |