机读格式显示(MARC)
- 000 01127nam2 2200361 4500
- 008 790201s1980 maua b 00110 eng
- 020 __ |a 020114462X |c CNY2.50
- 099 __ |a CAL 022000251381 |a CAL 022000380790
- 100 1_ |a Beckman, Frank S.
- 245 10 |a Mathematical foundations of programming / |c Frank S. Beckman.
- 260 __ |a Reading, MA : |b Addison-Wesley, |c c1980.
- 300 __ |a xviii, 443 p. : |b ill. ; |c 25 cm.
- 490 0_ |a The Systems programming series
- 504 __ |a Includes bibliographies and index.
- 650 _0 |a Machine theory.
- 650 _0 |a Formal languages.
- 650 _0 |a Logic, Symbolic and mathematical.
- 740 01 |a Mathematical foundations of computing.
- 905 __ |a XATU |d TP31/E58
- 950 __ |a 261060 |f TP31/E58
- 999 __ |t C |A shenxiaoyan |a 20050125 16:05:32 |M shenxiaoyan |m 20050125 16:07:11 |G shenxiaoyan |g 20050125 16:07:5