خرید و دانلود نسخه کامل کتاب Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science, 4763)

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

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science, 4763)

نویسنده: Jean-Francois Raskin (editor), P.S. Thiagarajan (editor)

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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