机读格式显示(MARC)
- 000 00457nam2 2200181 4500
- 020 __ |a 0-387-96957-8 |c ¥10.40
- 245 1_ |a Predicate Calculus ad Program Semantics |c Dijkstra Edsger W |g |A PREDICAT |F DIJKSTRA
- 260 __ |a Berlin |b Springer-Verlag |c 1990
- 700 _0 |a Dijkstra Edsger W |A DIJKSTRA |4 著
- 905 __ |a HIEL |d TP301/D1