形式化开发多序列比对算法大学教材电子版