خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

مدل سازی و تحلیل رسمی سیستم های به موقع: پنجمین کنفرانس بین المللی ، FORMATS 2007 ، سالزبورگ ، اتریش ، 3-5 اکتبر 2007 ، مجموعه مقالات

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

نویسنده: Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

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

زبان: English

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

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