دانلود کتاب 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. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: هشتمین کنفرانس بین المللی، 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
نام کتاب : Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : مدل سازی رسمی و تحلیل سیستم های زمان بندی شده: هشتمین کنفرانس بین المللی، FORMATS 2010، Klosterneuburg، اتریش، 8-10 سپتامبر 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6246 : Theoretical Computer Science and General Issues
نویسندگان : Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 265
ISBN (شابک) : 9783642152962 , 9783642152979
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی