形式化框架下置換和查找類算法的組裝生成
作者:
石海鶴著
出版社:科學(xué)出版社
定價(jià):68.0
元 一星會(huì)員價(jià):
33.3元
本書結(jié)合軟件形式化方法PAR, 將生成式程序設(shè)計(jì)思想引入到算法開發(fā)中來(lái), 組裝生成了典型的置換和查找類算法, 以及若干未見于現(xiàn)有文獻(xiàn)的算法, 構(gòu)建了具備相應(yīng)生成能力的系統(tǒng), 顯著提高了兩類算法的開發(fā)效率和可靠性, 可望從方法學(xué)和實(shí)踐上為特定領(lǐng)域高可靠算法的開發(fā)提供新思路!