klosterneuburg

مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هشتمین کنفرانس بین المللی، FORMATS 2010، Klosterneuburg، اتریش، 8-10 سپتامبر 2010. مجموعه مقالات

دانلود کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings (به فارسی: مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هشتمین کنفرانس بین المللی، FORMATS 2010، Klosterneuburg، اتریش، 8-10 سپتامبر 2010. مجموعه مقالات) نوشته شده توسط «Tarek Abdelzaher (auth.) – Krishnendu Chatterjee – Thomas A. Henzinger (eds.)» اطلاعات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: هشتمین کنفرانس بین المللی، FORMATS 2010، Klosterneuburg، اتریش، 8-10 سپتامبر 2010. مجموعه مقالات موضوع اصلی: کامپیوتر – برنامه نویسی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Tarek Abdelzaher…