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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer |
Country of origin | United States |
Release date | August 2008 |
Availability | Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available. |
First published | August 2008 |
Editors | Michael Johnson, Varmo Vene |
Dimensions | 156 x 234 x 21mm (L x W x T) |
Format | Paperback - Trade |
Pages | 408 |
ISBN-13 | 978-3-540-82598-2 |
Barcode | 9783540825982 |
Categories | |
LSN | 3-540-82598-3 |