Dijkstra, E.W. books & textbook
Current Trends in Programming Methodology, Vol. 1: Software Specification and Design
Raymond T. Yeh K. Mani Chandy Donald E. Knuth Edsger W. Dijkstra
Prentice Hall /1977T Hardcover / 275 Pages
isbn-10: 0131957015 / isbn-13: 9780131957015
Formal Development of Programs and Proofs
Dijkstra, Edsger Dijkstra, E. W.
Addison-Wesley /1990-01-01 Hardcover / 256 Pages
isbn-10: 0201172372 / isbn-13: 9780201172379
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Gries, D.; Turski, W. M. (eds.)
Springer /2000T Paperback
A.P.I.C. STUDIES IN DATA PROCESSING NO.2: A PRIMER OF ALGOL 60 PROGRAMMING., TOGETHER WITH A REPORT ON THE ALGORITHMIC LANGUAGE ALGOL 60
Academic Press / Hardcover
A Primer Of ALGOL 60 Programming: Together with Report on the Algorithmic Language ALGOL 60 (A.P.I.C. Studies in Data Processing No.2)
Academic Press /1962T Hardcover / 114 Pages
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Broy, Manfred Bauer, F. Broy, M.- Dijkstra, E.W. Hoare, C.A.R.
Springer /2012-04-09 Paperback / 422 Pages
isbn-10: 3642873766 / isbn-13: 9783642873768
Programming and Mathematical Method: International Summer School (NATO ASI Subseries F:)
Broy, Manfred Bauer, F.L. Broy, Manfred Dijkstra, E.W. Hoare, C.A.R.
Springer /2011-12-21 Paperback / 415 Pages
isbn-10: 3642775748 / isbn-13: 9783642775741
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Bauer, F.L. Broy, Manfred Broy, M. Dijkstra, E.W. Hoare, C.A.
Springer /2011-12-06 Paperback / 492 Pages
isbn-10: 3642748864 / isbn-13: 9783642748868
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School (Springer Study Edition)
Broy, Manfred Bauer, F.L. Dijkstra, E.W. Hoare, C.A.R.
Springer /1986-12-01 Paperback / 533 Pages
isbn-10: 3540170820 / isbn-13: 9783540170822
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
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. Bauer, F.L. Broy, M.
Springer /1979-06-01 Paperback / 664 Pages
isbn-10: 354009251X / isbn-13: 9783540092513
