机读格式显示(MARC)
- 000 00479nam2 2200181 4500
- 020 __ |a 0-201-17237-2 |c ¥12.20
- 245 1_ |a Formal development of programs and proofs |c Edsger W . Dijkstra |g |A FORMALDE |F EDSGERWD
- 260 __ |a Reading , Mass |b Addison-Wesley Pub. Co. |c 1990
- 700 _0 |a Edsger W . Dijkstra |A EDSGERWD |4 著
- 905 __ |a HIEL |d TP311/F2