-
西文图书1.A discipline of programming / TP31/E45
馆藏复本:3
可借复本:3 Edsger W. Dijkstra.
Prentice-Hall, c1976.
(0) 馆藏 -
西文图书2.Formal development of programs and proofs / TP311.52/E1
馆藏复本:2
可借复本:2 edited by Edsger W. Dijkstra.
Addison-Wesley, c1990.
(0) 馆藏