خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: دهمین کنفرانس بین المللی، FORMATS 2012، لندن، انگلستان، 18-20 سپتامبر 2012. مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

نویسنده: Twan Basten, Martijn Hendriks, Lou Somers, Nikola Trčka (auth.), Marcin Jurdziński, Dejan Ničković (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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