首页 > 图书中心 > 模型检验原理

作者荐语

赵光峰,男,1964年生,教授,博士,曾留学英国一年,主要研究方向为拓扑学、图论、系统可信性自动验证,发表学术论文30余篇,主编《Visual Basic 程序设计教程》(高等教育出版社)等教材5部。

版权所有(C)2023 清华大学出版社有限公司 京ICP备10035462号 京公网安备11010802042911号

联系我们 | 网站地图 | 法律声明 | 友情链接 | 盗版举报 | 人才招聘