![B方法[美]J-R Abrial 著；裘宗燕 译电子工业出版社9787505393394](http://img3m5.ddimg.cn/7/6/11969529865-1_b_1747161387.jpg)
B方法[美]J-R Abrial 著；裘宗燕 译电子工业出版社9787505393394 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥34.70定价：¥176.30 (1.97折)
【导演李安的精神动力：成年人的勇敢，是敢于脆弱】 著名导演李安说：脆弱是我的本性。与其说我的成功从脆弱开始，不如说我很勇敢地面对我的脆弱，我不在乎把它拿出来给大家看。 【你为什么需要这本书？】 如果你： 总是情绪起伏大、爱生气、爱发脾气； 总感到空虚，却又总是不合群，把孤独当独立； 总是患得患失，优柔寡断，无法作出正确的决定； 总感觉别人过得比自己好，又害怕变化； 总是很自卑，容易自我嫌弃，又假装强大； 总是活在煎熬之中！ 那么，请仔细阅读这本书中的每一句话。 【在这个需要坚强的世界里，你为什么还要敢于脆弱？】 法国精神分析学家吉娜维芙 阿弗里伊尔认为：脆弱，这个看似需要精心掩饰的缺陷，其实是我们心灵中宝贵的财富。你的脆弱等于你的优势。 【法国精神分析前沿成果，八步
¥22.50定价：¥45.00 (5折)
敢于脆弱 京华出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥21.70定价：¥45.00 (4.83折)
明星店铺 文轩网旗舰店
B方法 [美]J R Abr 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥32.43定价：¥127.29 (2.55折)
敢于脆弱 〔法〕吉娜维芙·阿弗里伊尔 （Geneviève Abrial） 著 宋义铭 北京联合出版有限公司
¥18.20定价：¥45.00 (4.05折)
B方法 [美]J R Abr 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥32.30定价：¥126.90 (2.55折)
¥20.70定价：¥45.00 (4.6折)
明星店铺 北方图书城旗舰店
B方法 [美]J R Abr 【店主推荐，正版书放心购买，可开发票】
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥32.52定价：¥127.56 (2.55折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软件系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际著名软件和软件理论专家，首次将“B方法”系统级的工控软件高安全保障解决方案引入中国，这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。
¥93.40定价：¥129.00 (7.25折)
明星店铺 文轩网旗舰店
B方法 [美]J R Abr 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥32.70定价：¥128.10 (2.56折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软件系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际著名软件和软件理论专家，首次将“B方法”系统级的工控软件高安全保障解决方案引入中国，这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。
¥93.40定价：¥129.00 (7.25折)
敢于脆弱,京华出版社【新华书店总店自营店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥16.97定价：¥90.00 (1.89折)
3-6周达 高被引Modeling in Event-B: System and Software Engineerin 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1420
敢于脆弱 〔法〕吉娜维芙·阿弗里伊尔 （Geneviève Abrial） 著 宋义铭 北京联合出版有限公司
¥18.70定价：¥45.00 (4.16折)
敢于脆弱,京华出版社【新华书店总店旗舰店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥16.97定价：¥90.00 (1.89折)
明星店铺 新华书店总店旗舰店
【预订】The B-Book: Assigning Programs to Meanings 美国库房发货，通常付款后3-5周到货！
¥1138
3-6周达 The B-Book: Assigning Programs to Meanings [ISBN:97805 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1102
Event-B建模 系统和软件工程 Event-B教程 Rodin使用指南 形式化方法经典教材 软件工程基础导论 软件工程技术与应用 系统工程导论 软件开发指导方法论
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软*系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。 1.作者是国际著名软*和软*理论专家，首次将 B方法 系统级的工控软*高安全保障解决方案引入中国，这是目前市场上*的一本关于Event-B的中文书籍。 2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。 3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。 4.外文原版书是这一领域极具权威的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。
¥100.60定价：¥129.00 (7.8折)
海外直订Rigorous Methods for Software Construction and Analysis:
¥579.00
海外直订The B-Book: Assigning Programs to Meanings B-Book：给程序赋予意
¥1252
B方法 [美]J R Abr 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥32.79定价：¥128.37 (2.56折)
敢于脆弱 京华出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥22.50定价：¥45.00 (5折)
海外直订Formal Methods for Industrial Applications: Specifying a
¥1033
3-6周达 Rigorous Methods for Software Construction and Analysi 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Rigorous Methods for Software Construction and Analysis 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642114465 Author 作者 Jean-Raymond Abrial Marseille France Format 版本 平装-胶订 Pages Number 页数 235页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-01-20 Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published in honor of Egon Boerger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
¥608.00
海外直订Modeling in Event-B 事件B中的建模
¥1622
B方法 [美]J R Abr 【店主推荐，正版书放心购买，可开发票】
本书针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
¥32.27定价：¥126.81 (2.55折)
EVENT-B建模:系统和软件工程 人民邮电出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软件系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际著名软件和软件理论专家，首次将“B方法”系统级的工控软件高安全保障解决方案引入中国，这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。
¥91.30定价：¥129.00 (7.08折)
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial） 著 裘宗燕 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软件系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际著名软件和软件理论专家，首次将“B方法”系统级的工控软件高安全保障解决方案引入中国，这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。
¥90.30定价：¥129.00 (7折)
EVENT-B建模:系统和软件工程 [法] 简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial） 著 裘宗燕
Event-B是一种基于传统的谓词演算和定理证明的形式化语言,支持逐步精化地建立系统模型,适合于实时性强的嵌入式控制系统的建模，多用于工业软件系统的开发，本书为Event-B的开发者Jean-Raymond Abrial关于形式化方法的著作。1.作者是国际著名软件和软件理论专家，首次将“B方法”系统级的工控软件高安全保障解决方案引入中国，这是目前市场上专享的一本关于Event-B的中文书籍。2.书中包含了大量具有不同难度的练习和开发项目，方便读者对所学知识进行检验和实践。3.书中每个例子都用Rodin平台工具集证明过，因此书本的内容十分严谨。4.外文原版书是这一领域极具权威的教材书籍，由剑桥大学出版社出版，内容方面有很高的质量保障。
¥91.30定价：¥129.00 (7.08折)
敢于脆弱 京华出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥22.20定价：¥45.00 (4.94折)
敢于脆弱 (法)吉娜维芙·阿弗里伊尔(Genevieve Abrial) 著 宋义铭,卓小凡 译 京华出版社
¥22.20定价：¥45.00 (4.94折)
EVENT-B建模:系统和软件工程 9787115508997
Product Details 基本信息 ISBN-13 书号 9787115508997 Author 作者 [法] 简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial） Format 版本 平装-胶订 Pages Number 页数 462页 Publisher 出版社 人民邮电出版社 Publication Date 出版日期 2018-03-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 这本实用的教科书适用于形式化方法的入门课程或不错课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial）是靠前有名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造
¥104.00定价：¥208.00 (5折)
B方法 （美）J-R Abrial著；裘宗燕译 电子工业出版社
¥148.00定价：¥148.00
敢于脆弱 (法)吉娜维芙·阿弗里伊尔(Genevieve Abrial) 著 宋义铭,卓小凡 译 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥22.00定价：¥45.00 (4.89折)
预售【外图台版】坦然脆弱，敢于脆弱：挖掘隐密的内在，转化成坚强的力量 / 洁娜维芙?艾比亚勒(Geneviève Abr 预售商品，下单付款后90-120天内发货
¥108.00
【预订】Modeling in Event-B: System and Software 美国库房发货，通常付款后3-5周到货！
¥1465
预订The B-Book:Assigning Programs to Meanings 预订，预计下单后3-4周左右发货！
¥1453
