Lecture Notes in Computer Science

1 primary work

Program Construction

by F. L. Bauer, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, and Susan Speer Owicki

Published 1 June 1979