دانلود کتاب Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

مدل سازی رسمی و تجزیه و تحلیل سیستم های بهنگام: ششمین کنفرانس بین المللی ، FORMATS 2008 ، سنت مالو ، فرانسه ، 15 تا 17 سپتامبر ، 2008. مجموعه مقالات

زبان : English

نویسندگان : Joël Ouaknine, James Worrell (auth.), Franck Cassez, Claude Jard (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2008

ISBN (شابک) : 354085777X, 9783540857778

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 5215 : Theoretical Computer Science and General Issues

تعداد صفحات : 295[304]

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

فرمت کتاب : pdf

قیمت : 36000 تومان