-
1
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 /
Published 1987Subjects: “…Computer science.…”
Full Text (via Springer)
eBook -
2
Programming and Mathematical Method : International Summer School /
Published 1992Subjects: “…Computer science.…”
Full Text (via Springer)
eBook -
3
Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
Published 1989Subjects: “…Computer science.…”
Full Text (via Springer)
eBook -
4
Logic, Algebra, and Computation : International Summer School /
Published 1991Subjects: “…Computer science.…”
Full Text (via Springer)
eBook -
5
Mathematical Methods in Program Development /
Published 1997Subjects: “…Computer science.…”
Full Text (via Springer)
eBook