高级语言程序变换的机械化证明导论

出版时间 2022-10-01T00:00 其他语言 99349

作者： 何炎祥，江南
出版社： 科学
原售价: 120.00
折扣价: 94.80
折扣购买: 高级语言程序变换的机械化证明导论
ISBN： 9787030731678

作者简介