خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

مدل سازی و تحلیل رسمی سیستم های بهنگام: یازدهمین کنفرانس بین المللی ، FORMATS 2013 ، بوینس آیرس ، آرژانتین ، 29 تا 31 آگوست 2013. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

نویسنده: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

تعداد صفحات: 284

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت