دانلود کتاب Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings

Name: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings
Availability: InStock
Author: Egon Börger (auth.)
ISBN: 3540679596, 9783540679592

by Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)

عنوان فارسی: ماشین های دولت چکيده - تئوری و برنامه های کاربردی: برگزاری کارگاه آموزشی ASM 2000 مونت Verità، سوئیس، 19 – 24 مارس 2000 مجموعه مقالات
ناشر: Springer Berlin Heidelberg
سال: 2000
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): X, 386 p.-
شابک: 3540679596, 9783540679592
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 4.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000.The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.