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.
"synopsis" may belong to another edition of this title.
£ 20.87 shipping from Germany to United Kingdom
Destination, rates & speeds£ 22.36 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 10022237/12
Quantity: 1 available
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783642177958
Quantity: 2 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 248 pages. 9.37x6.06x0.55 inches. In Stock. Seller Inventory # x-3642177956
Quantity: 2 available
Seller: moluna, Greven, Germany
Condition: New. Seller Inventory # 5051546
Quantity: 2 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Neuware - 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. Seller Inventory # 9783642177958
Quantity: 2 available
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642177958
Quantity: 1 available