Program Construction International Summer School / by F.L. Bauer, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner ; edited by F.L. Bauer, M. Broy.

Saved in:
Bibliographic Details
Main Authors: Bauer, F.L (Author, Editor), Dijkstra, E.W (Author), Gerhart, S.L (Author), Gries, D. (Author), Griffiths, M. (Author), Guttag, J. V. (Author), Horning, J. J. (Author), Owicki, S. S. (Author), Pair, C. (Author), Partsch, H. (Author), Pepper, P. (Author), Wirsing, M. (Author), Wössner, H. (Author)
Corporate Author: SpringerLink (Online service)
Other Authors: Broy, M. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979.
Edition:1st ed. 1979.
Series:Lecture Notes in Computer Science, 69
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.