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.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● ISBN 9783642177965 ● Editor Michael Johnson & Dusko Pavlovic ● Editura Springer Berlin Heidelberg ● Publicat 2011 ● Descărcabil 3 ori ● Valută EUR ● ID 6321875 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM