Event-B建模 系统和软件工程 Event-B教程 Rodin使用指南 形式化方法经典教材 软件工程基础导论 软件工程技术与应用 系统工程导论 软件开发指导方法论
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软*系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。 1.作者是国际著名软*和软*理论专家,首次将 B方法 系统级的工控软*高安全保障解决方案引入中国,这是目前市场上*的一本关于Event-B的中文书籍。 2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。 3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。 4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥96.00定价:¥129.00 (7.45折)
【新华书店旗舰店】EVENT-B建模:系统和软件工程,[法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abria 全国五仓就近发货85%城市次日达!团购优惠咨询:13284178503
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥90.79定价:¥129.00 (7.04折)
【新华书店自营】EVENT-B建模:系统和软件工程,人民邮电出版社 全国五仓就近发货80%城市次日达!团购优惠咨询:18340637603
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥93.17定价:¥258.00 (3.62折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥63.69定价:¥89.90 (7.09折)
明星店铺 博库网旗舰店
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件
¥62.62定价:¥89.90 (6.97折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件
¥62.03定价:¥89.90 (6.9折)
明星店铺 木垛图书旗舰店
【正版】 Event-B建模 系统和软件工程 [法]简-埃蒙德·阿布瑞尔(Jean-aymondAbrial),裘 人民 团购咨询在线客服
¥90.63定价:¥129.00 (7.03折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.93定价:¥89.90 (7折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.93定价:¥89.90 (7折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.92定价:¥89.90 (7折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量软件
¥62.48定价:¥89.90 (6.95折)
持续集成与持续交付实战:用Jenkins、Travis CI和CircleCI构建和发布大规模高质量
¥62.48定价:¥89.90 (6.95折)
¥89.66定价:¥129.00 (6.96折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥94.10定价:¥129.00 (7.3折)
¥90.30定价:¥129.00 (7折)
¥89.66定价:¥129.00 (6.96折)
¥90.30定价:¥129.00 (7折)
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是靠前有名软件和软件理论专家,抢先发售将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍
¥93.80定价:¥129.00 (7.28折)
¥90.30定价:¥129.00 (7折)
¥90.36定价:¥129.00 (7.01折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥94.20定价:¥129.00 (7.31折)
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial) 著 裘宗燕 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模,多用于工业软件系统的开发,本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际有名软件和软件理论专家,首次将“B方法”系统级的工控软件高安全保障解决方案引入中国,这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目,方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过,因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍,由剑桥大学出版社出版,内容方面有很高的质量保障。
¥86.40定价:¥129.00 (6.7折)
Event-B建模系统和软件工程 [法] 简-埃蒙德·阿布瑞尔(Jean-Raymond Abrial)|译者:裘宗燕
¥98.40定价:¥129.00 (7.63折)
【正版】 Event-B建模 系统和软件工程 [法]简-埃蒙德·阿布瑞尔(Jean-aymondAbrial),裘 人民
¥90.63定价:¥129.00 (7.03折)