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.
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● ISBN 9783642177965 ● редактор Michael Johnson & Dusko Pavlovic ● издатель Springer Berlin Heidelberg ● опубликованный 2011 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6321875 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM