【预订】Program Construction 美国库房发货，通常付款后3-5周到货！
¥560.00
¥857.65
【预订】Program Construction - Calculating Implementations 美国库房发货，通常付款后3-5周到货！
¥1219
预订 Program Construction: Calculating Implementations from Sp 【全球购】进口原版，预计10-12周左右到国内
¥1064
海外直订Mathematics of Program Construction 程序设计数学
¥552.00
【3-6周达】Mathematics of Program Construction: 8th Internationa 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Mathematics of Program Construction: 13th Internationa 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
海外直订医药图书Mathematics of Program Construction: 5th Internation
¥553.00
3-6周达 Mathematics of Program Construction: 9th International 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Mathematics of Program Construction: 10th International
¥553.00
预订 Mathematics of Program Construction: 11th International C 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
3-6周达 Mathematics of Program Construction: 7th International 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥646.00
海外直订Mathematics of Program Construction: 4th International C
¥553.00
海外直订Mathematics of Program Construction: Third International
¥553.00
【预订】Mathematics of Program Construction: 13th International 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030336356 Author 作者 Hutton Format 版本 平装-胶订 Pages Number 页数 467页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-20 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
¥608.00
海外直订Mathematics of Program Construction: 13th International
¥534.00
预订 Mathematics of Program Construction: 5th International Co 【全球购】进口原版图书，一般5-8周左右到国内
¥640.00
【预订】Mathematics of Program Construction 9783540223801 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540223801 Author 作者 Kozen Format 版本 平装-胶订 Pages Number 页数 404页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-06-24 Language 语种 英语
¥608.00
【预订】Mathematics of Program Construction 9783642311123 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642311123 Author 作者 Gibbons Format 版本 平装-胶订 Pages Number 页数 363页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-06-18 Shipping Weight 商品重量 568g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
¥608.00
3-6周达 Mathematics of Program Construction: 14th Internationa 【全球购】进口原版图书，预计3-6周左右到国内
¥859.00
预订 Mathematics of Program Construction: 6th International Co 【全球购】进口原版图书，约3-6周到达国内后发出
¥631.00
【预订】Mathematics of Program Construction 9783540601173 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540601173 Author 作者 M?ller Format 版本 平装-胶订 Pages Number 页数 479页 Publication Date 出版日期 1995-07-10 Language 语种 英语 Book Contents 内容简介 This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.
¥608.00
海外直订Mathematics of Program Construction: 14th International
¥619.00
海外直订Mathematics of Program Construction: 7th International C
¥553.00
【预订】Mathematics of Program Construction 9783540438571 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540438571 Author 作者 Boiten Format 版本 平装-胶订 Pages Number 页数 263页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-06-26 Language 语种 英语 Book Contents 内容简介 Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
¥608.00
海外直订Vessel Sanitation Program Construction Guidelines 船舶卫生计划
¥210.00
海外直订Mathematics of Program Construction: 6th International C
¥623.00
3-6周达 Mathematics of Program Construction: 10th Internationa 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Mathematics of Program Construction [ISBN:9783319197968] 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
【预订】Mathematics of Program Construction 9783540705932 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540705932 Author 作者 Philippe Audebaud Ecole Normale Supérieure de Lyon CNRS UMR Format 版本 平装-胶订 Pages Number 页数 423页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-07-04 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
¥608.00
【预订】Mathematics of Program Construction 9783540356318 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540356318 Author 作者 Uustalu Format 版本 平装-胶订 Pages Number 页数 458页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-27 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
¥608.00
海外直订Mathematics of Program Construction: 375th Anniversary o
¥553.00
海外直订Mathematics of Program Construction: Second Internationa
¥553.00
【预订】Mathematics of Program Construction 9783540645917 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540645917 Author 作者 Jeuring Format 版本 平装-胶订 Pages Number 页数 388页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-05-27 Language 语种 英语 Book Contents 内容简介 This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC’98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.
¥608.00
【预订】Mathematics of Program Construction 9783540677277 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540677277 Author 作者 Backhouse Format 版本 平装-胶订 Pages Number 页数 262页 Publication Date 出版日期 2000-06-21 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of MPC 2000, the fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is on techniques that combine precision with concision, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers
¥608.00
海外直订Mathematics of Program Construction: 8th International C
¥553.00
【预订】Mathematics of Program Construction 9783031169113 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031169113 Author 作者 Ekaterina Komendantskaya Format 版本 平装-胶订 Pages Number 页数 264页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-10-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.60 Shipping Weight 商品重量 0.90 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.
¥706.00
【预订】Mathematics of Program Construction 9783319197968 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Construction Program Management 美国库房发货，通常付款后3-5周到货！
¥1055
预订 Construction Program Management [ISBN:9781466575042] 【全球购】进口原版图书，一般5-8周左右到国内
¥933.00
海外直订Construction Program Management 建设项目管理
¥799.00
3-6周达 Construction Program Management - Decision Making and 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Construction Program Management – Decision Making and Opt 国外库房发货，通常付款后3-5周到货
¥673.00
预订 Construction Program Management – Decision Making and Opt 国外库房发货，通常付款后3-5周到货
¥682.00
3-6周达 高被引Construction Program Management - Decision Making a 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订American Insitute of Constructors: A Program on Construc
¥277.00
海外直订10 CFR Part 52 Construction Inspection Program Framework
¥199.00
预订 High-performance Construction Materials and Systems: An E 国外库房发货，通常付款后3-5周到货
¥538.00
【预订】Achieving Successful Construction Projects: A Guide for 美国库房发货，通常付款后3-5周到货！
¥783.00
海外直订Brickwork Level 2: For Construction Diploma, Technical C
¥361.00
【预订】Cooperative Training Program in the Field of Constructio 美国库房发货，通常付款后3-5周到货！
¥925.00
海外直订Brickwork Level 2: For Construction Diploma, Technical C
¥995.00
按需印刷图书Program Construction:Calculating Implementations from 预订，预计下单后3-4周左右发货！
¥1205
预订Mathematics of Program Construction:7th International Conf 预订，预计下单后2-3周左右发货！
¥1140
程序构造用数学/Mathematics of program construction
The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS including its subseries LNAI spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）
¥535.60定价：¥678.00 (7.9折)
程序构造的数学 Mathematics of program construction
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.)
¥357.10定价：¥452.00 (7.91折)
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the ma
¥571.30定价：¥723.20 (7.9折)
按需印刷Cooperative Training Program in the Field of Constructio 预订，预计下单后2-3周左右发货！
¥829.00
