题名:
列车运行控制系统规范建模与验证
/ 唐涛，徐田华，赵林著 ,
ISBN:
978-7-113-11460-2 价格：
出版发行:
出版地： 出版社：
中国铁道出版社
出版日期： 2010年06月
中图分类法:
U284.48 版次：