【预订】Recent Trends in Algebraic Development Techniques 978364 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642284113 Author 作者 Mossakowski Format 版本 平装-胶订 Pages Number 页数 303页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-02-21 Shipping Weight 商品重量 454g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven developme
¥608.00
【预订】Recent Trends in Algebraic Development Techniques: 23rd 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319720432 Author 作者 Roggenbach, Markus Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-09-01 Language 语种 英语
¥608.00
【预订】Recent Trends in Algebraic Development Techniques: 26th 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031433443 Format 版本 平装-胶订 Pages Number 页数 179页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 其它（含多语）
¥669.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540678984 Author 作者 Bert Format 版本 平装-胶订 Pages Number 页数 490页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-09-06 Language 语种 英语
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978303 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030737849 Author 作者 Markus Roggenbach Format 版本 平装-胶订 Pages Number 页数 165页 Publisher 出版社 Springer Publication Date 出版日期 2021-11-04 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect
¥608.00
【预订】Recent Trends in Algebraic Development Techniques: 24th 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030232191 Format 版本 平装-胶订 Pages Number 页数 175页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 英语
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540662464 Author 作者 Fiadeiro Format 版本 平装-胶订 Pages Number 页数 346页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-07-28 Language 语种 英语 Book Contents 内容简介 The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540253273 Author 作者 Fiadeiro Format 版本 平装-胶订 Pages Number 页数 280页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-03-23 Language 语种 英语
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540205371 Author 作者 Wirsing Format 版本 平装-胶订 Pages Number 页数 464页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-24 Language 语种 英语
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978364 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642034282 Author 作者 Andrea Corradini Università Pisa Dipto. Informatica Pisa Format 版本 平装-胶订 Pages Number 页数 343页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-09-07 Shipping Weight 商品重量 539g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques fo
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540642992 Author 作者 Parisi-Presicce Format 版本 平装-胶订 Pages Number 页数 444页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT ’98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic softwar
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540431596 Author 作者 Cerioli Format 版本 平装-胶订 Pages Number 页数 348页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-01-23 Language 语种 英语 Book Contents 内容简介 This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting.
¥608.00
【预订】Recent Trends in Algebraic Development Techniques 978354 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540719977 Author 作者 José Luiz Fiadeiro Format 版本 平装-胶订 Pages Number 页数 174页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-04-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006.
¥608.00
海外直订Recent Trends in Algebraic Development Techniques: 12th
¥553.00
预订 Recent Trends in Algebraic Development Techniques: 14th I 【全球购】进口原版图书，一般5-8周左右到国内
¥650.00
海外直订Recent Trends in Algebraic Development Techniques: 22nd
¥427.00
3-6周达 Recent Trends in Algebraic Development Techniques [ISB 【全球购】进口原版图书，预计3-6周左右到国内
¥511.00
预订 Recent Trends in Algebraic Development Techniques [ISBN:9 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
3-6周达 Recent Trends in Algebraic Development Techniques: 17t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥642.00
【3-6周达】Recent Trends in Algebraic Development Techniques: 19 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Recent Trends in Algebraic Development Techniques: 22n 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥406.00
3-6周达 Recent Trends in Algebraic Development Techniques: 24t 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
预订 Recent Trends in Algebraic Development Techniques: 21st I 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Recent Trends in Algebraic Development Techniques: 14th
¥553.00
【3-6周达】Recent Trends in Algebraic Development Techniques: 18 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Recent Trends in Algebraic Development Techniques 代数发展技术
¥626.00
3-6周达 Recent Trends in Algebraic Development Techniques: 20t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Recent Trends in Algebraic Development Techniques 国外库房发货，通常付款后3-5周到货
¥608.00
海外直订Recent Trends in Algebraic Development Techniques: 13th
¥553.00
预订 Recent Trends in Algebraic Development Techniques: 25th I 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
海外直订Recent Trends in Algebraic Development Techniques: 16th
¥553.00
3-6周达 Recent Trends in Algebraic Development Techniques: 16t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥649.00
现货 Recent Trends in Algebraic Development Techniques:15th In 进口原版，现货速发
¥638.00
海外直订Recent Trends in Algebraic Development Techniques: 24th
¥639.00
预订 Recent Trends in Algebraic Development Techniques: 27th I 国外库房发货，通常付款后3-5周到货
¥1473
预订 Recent Trends in Algebraic Development Techniques 国外库房发货，通常付款后3-5周到货
¥486.00
海外直订医药图书Recent Trends in Algebraic Development Techniques: 1
¥553.00
Recent Trends in Algebraic Development Techniques代数开发技术的近期趋势
¥209.40
Recent Trends in Algebraic Development Techniques代数开发技术最新进展/
he 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 and LNBI, 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.)
¥447.50
