【预订】Algebraic Methodology and Software Technology 9783540223 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540223818 Author 作者 Rattray Format 版本 平装-胶订 Pages Number 页数 572页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-06-24 Language 语种 英语
¥608.00
【预订】Algebraic Methodology and Software Technology 9783540638 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540638889 Author 作者 Johnson Format 版本 平装-胶订 Pages Number 页数 602页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-12-01 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST’97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
¥1217
【预订】Algebraic Methodology and Software Technology 9783540654 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540654629 Author 作者 Haeberer Format 版本 平装-胶订 Pages Number 页数 540页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-12-15 Language 语种 英语 Book Contents 内容简介 AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98). The previous meetings were held in Iowa City, USA (1989 and 1991), in Ensche
¥608.00
【预订】Algebraic Methodology and Software Technology 9783540356 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540356332 Author 作者 Johnson Format 版本 平装-胶订 Pages Number 页数 392页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-27 Language 语种 英语 Book Contents 内容简介 This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, alge
¥608.00
【预订】Algebraic Methodology and Software Technology 9783540675 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540675303 Author 作者 Rus Format 版本 平装-胶订 Pages Number 页数 545页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-05-03 Language 语种 英语 Book Contents 内容简介 The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is
¥1217
【预订】Algebraic Methodology and Software Technology: 12th Inte 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Algebraic Methodology and Software Technology 9783642177 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642177958 Author 作者 Johnson Format 版本 平装-胶订 Publication Date 出版日期 2011-01-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in?Lac-Beauport, QC, Canada, in June 2010.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
¥608.00
【预订】Algebraic Methodology and Software Technology 9783540441 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540441441 Author 作者 Kirchner Format 版本 平装-胶订 Pages Number 页数 508页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-08-26 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R?eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementati
¥608.00
海外直订Algebraic Methodology and Software Technology: 5th Inter
¥1033
海外直订Algebraic Methodology and Software Technology (Amast'93)
¥553.00
3-6周达 Algebraic Methodology and Software Technology: 12th In 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Algebraic Methodology and Software Technology: 11th Inte
¥553.00
【3-6周达】Algebraic Methodology and Software Technology: 11th I 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Algebraic Methodology and Software Technology: 4th Inter
¥1033
海外直订Algebraic Methodology and Software Technology: 6th Inter
¥1033
预订 Algebraic Methodology and Software Technology: 9th Intern 【全球购】进口原版图书，一般5-8周左右到国内
¥651.00
海外直订Algebraic Methodology and Software Technology: 12th Inte
¥553.00
【3-6周达】Algebraic Methodology and Software Technology: 13th I 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Algebraic Methodology and Software Technology: 8th Intern 【全球购】进口原版图书，一般5-8周左右到国内
¥1278
海外直订Algebraic Methodology and Software Technology: 7th Inter
¥553.00
海外直订Algebraic Methodology and Software Technology: 8th Inter
¥1033
【预订】Algebraic Methodology and Software Technology (Amast 93) 美国库房发货，通常付款后3-5周到货！
¥608.00
数学方法与软件技术 Algebraic methodology and software technology
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.).
¥464.20定价：¥587.60 (7.9折)
