形式化方法:理论及应用
©2024 by
华保健
中国科学技术大学出版社
ISBN:9787312058752
XIII + 356页
56.8万字
目录
前言
读者评论
相关网址
当当
京东
China-pub
相关资源
TBA
勘误
待发布。