题名:	Event-B建模系统和软件工程 / 简-埃蒙德·阿布瑞尔 ,
ISBN:	978-7-115-50899-7 价格： 129.00
出版发行:	出版地：出版社：人民邮电出版社出版日期： 2019/9/1 0:00:00
中图分类法:	TP311.5 版次：