机读格式显示(MARC)

• 000 01087nam0 2200277 450

• 001 0000618155

• 005 20170908085600.0

• 010 __ |a 978-7-03-052213-9 |d CNY68.00

• 099 __ |a CAL 012017082005

• 100 __ |a 20170512d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 形式化框架下置换和查找类算法的组装生成 |A xing shi hua kuang jia xia zhi huan he cha zhao lei suan fa de zu zhuang sheng cheng |f 石海鹤著

• 210 __ |a 北京 |c 科学出版社 |d 2017

• 215 __ |a 147页 |c 图 |d 24cm

• 300 __ |a 江西师范大学博士文库专项资助成果

• 320 __ |a 有书目 (第136-144页)

• 330 __ |a 本书结合软件形式化方法PAR，将生成式程序设计思想引入到算法开发中来，组装生成了典型的置换和查找类算法，以及若干未见于现有文献的算法，构建了具备相应生成能力的系统，显著提高了两类算法的开发效率和可靠性，可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。

• 606 0_ |a 算法设计 |A suan fa she ji

• 690 __ |a TP301.6 |v 5

• 701 _0 |a 石海鹤 |A shi hai he |4 著

• 801 _0 |a CN |b NMU |c 20170523

• 905 __ |a SCNU |f TP301.6/1034

• 920 __ |a 242430 |z 1