题名:
基于Petri网的计算树逻辑模型检测
/ 刘关俊，何雷锋著 ,
ISBN:
978-7-03-077284-8 价格： 108
载体形态:
195页
出版发行:
出版地： 出版社：
科学出版社
出版日期：