| 000 |
|
01017nam0 2200265 450 |
| 010 |
__ |
■a978-7-118-06051-5■dCNY26.00■z7-118-06051-8 |
| 100 |
__ |
■a20100413d2009 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aa a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a程序设计方法学■f胡正国, 吴健, 邓正宏编著■Acheng xu she ji fang fa xue |
| 205 |
__ |
■a第2版 |
| 210 |
__ |
■a北京■c国防工业出版社■d2009.01 |
| 215 |
__ |
■a266页■c图■d26cm |
| 320 |
__ |
■a有书目 (第265-266页) |
| 330 |
__ |
■a本书主要介绍程序设计方法学这一新兴学科的主要内容, 即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及+...... |
| 606 |
0_ |
■a程序设计■x方法■Acheng xu she ji |
| 690 |
__ |
■aTP311.11■v4 |
| 701 |
_0 |
■a吴健■4编著■Awu jian |
| 701 |
_0 |
■a邓正宏■4编著■Adeng zheng hong |
| 701 |
_0 |
■a胡正国■4编著■Ahu zheng guo |
| 801 |
_0 |
■aCN■bGSXY■c20100413 |
| 905 |
__ |
■aGSXY■fTP311.11/H918 |
| 999 |
__ |
■tC■Agh■a20100413 11:13:56■Mgh■m20100413 11:14:37 |
(共0票)
评价
