Algebraic Methodology and Software Technology: 13th...

Main
Computers - Computer Science
Algebraic Methodology and Software...

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

Name: Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ISBN: 9783642177965

Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)

0 / 5.0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

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.

种类:

Computers - Computer Science

年:

2011

出版:

出版社:

Springer-Verlag Berlin Heidelberg

语言:

english

页:

238

ISBN 10: