Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Published on 14. January 2011
Book
Paperback/Softback
X, 238 pages
978-3-642-17795-8 (ISBN)
Description
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.
More details
Series
Edition
2011 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
36 s/w Abbildungen, 10 farbige Abbildungen
X, 238 p. 46 illus., 10 illus. in color.
Dimensions
Height: 0 mm
Width: 0 mm
Weight
381 gr
ISBN-13
978-3-642-17795-8 (9783642177958)
DOI
10.1007/978-3-642-17796-5
Schweitzer Classification
Other editions
Additional editions
Michael Johnson | Dusko Pavlovic
Algebraic Methodology and Software Technology
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
E-Book
01/2011
Springer
€53.49
Available for download