题名:
程序正确性证明方法
/ 武斌著 ,
ISBN:
978-7-5642-3169-9 价格：
出版发行:
出版地： 出版社：
上海财经大学出版社
出版日期： 2018
中图分类法:
TP311.1 版次：