Program Construction: International Summer School (Lecture Notes in Computer Science, #69)

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

F. L. Bauer (Editor) and M. Broy (Editor)

• ISBN13: 9783540092513
• Publish Date: 1 June 1979
• Publish Status: Active
• Publish Country: DE
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Edition: 1979 ed.
• Format: Paperback
• Pages: 654
• Language: English