【预订】Rewriting Logic and Its Applications 9783031124402 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031124402 Author 作者 Kyungmin Bae Format 版本 平装-胶订 Pages Number 页数 304页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-19 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.64 Shipping Weight 商品重量 0.94 Language 语种 其它(含多语)
¥790.00
【预订】Rewriting Logic and Its Applications: 12th International 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319998398 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-09-08 Language 语种 英语
¥608.00
【预订】Rewriting Logic and Its Applications 9783642340048 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642340048 Author 作者 Durán Format 版本 平装-胶订 Pages Number 页数 241页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-14 Product Dimensions 商品尺寸 9 x 6.1 x 0.7 cm Shipping Weight 商品重量 391g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, r
¥560.00
【预订】Rewriting Logic and Its Applications 9783030635947 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030635947 Format 版本 平装-胶订 Pages Number 页数 205页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-13 Language 语种 英语 Book Contents 内容简介 This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.
¥608.00
预订 Rewriting Logic and Its Applications [ISBN:9783319448015] 【全球购】进口原版图书,约3-6周到达国内后发出
¥511.00
预订 Rewriting Logic and Its Applications: 13th International 【全球购】进口原版图书,预计3-6周左右到国内
¥513.00
海外直订Rewriting Logic and Its Applications: 8th International
¥639.00
3-6周达 Rewriting Logic and Its Applications: 8th Internationa 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥507.00
预订 Rewriting Logic and Its Applications 15th International W 国外库房发货,通常付款后3-5周到货
¥706.00
海外直订Rewriting Logic and Its Applications: 11th International
¥552.00
3-6周达 Rewriting Logic and Its Applications [ISBN:97830311244 【全球购】进口原版图书,预计3-6周左右到国内
¥674.00
3-6周达 Rewriting Logic and Its Applications: 9th Internationa 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥466.00
海外直订Rewriting Logic and Its Applications: 10th International
¥613.00
3-6周达 Rewriting Logic and Its Applications [ISBN:97833199983 【全球购】进口原版图书,预计3-6周左右到国内
¥511.00
海外直订Rewriting Logic and Its Applications: 12th International
¥553.00
海外直订Rewriting Logic and Its Applications: 15th International
¥642.00
海外直订Rewriting Logic and Its Applications: 9th International
¥568.00
预订 Rewriting Logic and Its Applications: 10th International 【全球购】进口原版图书,约3-6周到达国内后发出
¥439.00
预订 Rewriting Logic and Its Applications 国外库房发货,通常付款后3-5周到货
¥608.00