دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.) سری: Lecture Notes in Computer Science 2491 ISBN (شابک) : 354044307X, 9783540443070 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 430 [431] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار جاسازی شده: دومین کنفرانس بین المللی ، EMSOFT 2002 گرنوبل ، فرانسه ، 7–9 اکتبر ، 2002 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی نرم
افزارهای جاسازی شده، EMSOFT 2002 است که در گرنوبل، فرانسه در
اکتبر 2002 برگزار شد.
کتاب 13 مقاله دعوت شده توسط محققان برجسته و 17 مقاله کامل اصلاح
شده را ارائه می دهد که در یک دور رقابتی انتخاب شده اند. در حال
بررسی این کتاب طیف وسیعی از نرمافزارهای تعبیهشده را شامل
میشود، از جمله سیستمهای عامل و میانافزار، زبانهای
برنامهنویسی و کامپایلرها، مدلسازی و اعتبارسنجی، مهندسی
نرمافزار و متدولوژیهای برنامهنویسی، زمانبندی و تجزیه و
تحلیل زمان اجرا، روشهای رسمی و پروتکلهای ارتباطی و تحمل خطا.
This book constitutes the refereed proceedings of the Second
International Conference on Embedded Software, EMSOFT 2002,
held in Grenoble, France in October 2002.
The book presents 13 invited papers by leading researchers and
17 revised full papers selected during a competitive round of
reviewing. The book spans the whole range of embedded software,
including operating systems and middleware, programming
languages and compilers, modeling and validation, software
engineering and programming methodologies, scheduling and
execution-time analysis, formal methods, and communication
protocols and fault-tolerance