省部级规划教材 江苏省高等学校重点教材
形式化方法导论(第2版)
作者: 张广泉
ISBN号: 9787302626602
定价: 69
出版时间: 2023-03-01
前言 内容简介 目录 本书暂无试读 优惠购书
样书和课件申请方法说明
丛书名: 高等学校软件工程专业系列教材