机读格式显示(MARC)
- 000 00493nam2 2200181 4500
- 245 1_ |a Algorithms : the construotion , proof , and anlysis of programs |c Berlioux , Pierre |g |A ALGORITH,PROOF,ANDANLYS |F BERLIOUX,PIERRE
- 260 __ |a Wiley |b Pierre Brlioux |c 1986
- 700 _0 |a Berlioux , Pierre |A BERLIOUX,PIERRE |4 著
- 905 __ |a HIEL |d TP31/B26