【作者(必填)】张广泉

【文题(必填)】形式化方法导论.

【年份(必填)】2015

【全文链接或数据库名称(选填)】清华大学出版社
Thanks in advance!