面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
作者：（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译; (DE )YANG Michael/Huth( LUN DUN DI GUO XUE YUAN ) (YING )Mrak/Ryan (BO MING HAN DA XUE ); (德)Michael Huth; (英)Mark Ryan著; 何伟; 樊磊译; 胡特; 瑞安; 何伟; 樊磊; 胡斯 (Huth; Michael)
出版社：北京：机械工业出版社
年份：2007.0
ISBN：9787111213970
文件大小：11.74 MB 字节
