[M]高级语言程序变换的机械化证明导论-9787030731678高清大图
1/1
90.00 前往购买

[M]高级语言程序变换的机械化证明导论-9787030731678

本书获得了众多专家的推荐或权威评价,许多业内人士和读者纷纷表示它是一部不可错过的佳作。

production