【预订】Teaching Formal Methods 9783540236115 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540236115 Author 作者 Dean Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-11-17 Language 语种 英语 Book Contents 内容简介 “Professional engineers can often be distinguished from other designers by the engineers’ ability to use mathematical models to describe and 1 analyze their products.” This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway’s words “aspire to be engineers.” The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Y
¥608.00
【预订】Teaching Formal Methods 9783642049118 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642049118 Author 作者 Jeremy Gibbons Oxford University Computing Laboratory (OUCL Format 版本 平装-胶订 Pages Number 页数 177页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-10-26 Shipping Weight 商品重量 302g Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto
¥608.00
3-6周达 Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥640.00
预订 Teaching Formal Methods: Second International Conference, 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Teaching Formal Methods: Second International Conference
¥553.00
【预订】Formal Methods Teaching 9783030324407 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030324407 Author 作者 Brijesh Dongol Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
¥608.00
【预订】Formal Methods Teaching 9783031275333 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031275333 Author 作者 Catherine Dubois Format 版本 平装-胶订 Pages Number 页数 107页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-21 Language 语种 其它（含多语）
¥608.00
【预订】Formal Methods Teaching 9783030915490 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030915490 Author 作者 Jo?o F. Ferreira Format 版本 平装-胶订 Pages Number 页数 147页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-19 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
¥670.00
预订 Formal Methods Teaching: 6th Formal Methods Teaching Work 国外库房发货，通常付款后3-5周到货
¥608.00
3-6周达 Formal Methods Teaching: 4th International Workshop an 【全球购】进口原版图书，预计3-6周左右到国内
¥547.00
预订 Formal Methods Teaching: Third International Workshop and 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
海外直订Formal Methods Teaching: Third International Workshop an
¥534.00
海外直订Formal Methods Teaching: 5th International Workshop, Fmt
¥615.00
3-6周达 Formal Methods Teaching [ISBN:9783031275333] 【全球购】进口原版图书，预计3-6周左右到国内
¥519.00
【预订】Teaching and Learning Formal Methods 美国库房发货，通常付款后3-5周到货！
¥1064
预订 Teaching and Learning Formal Methods [ISBN:9780123490407] 【全球购】进口原版图书，约3-6周到达国内后发出
¥1623
Teaching Formal Methods形式方法教学/会议录
¥447.50
