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.
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● ISBN 9783642177965 ● Redaktör Michael Johnson & Dusko Pavlovic ● Utgivare Springer Berlin Heidelberg ● Publicerad 2011 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6321875 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare