دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Specification and Compositional Verification of Real-Time Systems
دانلود کتاب مشخصات و تأیید ترکیبی سیستم های بلادرنگ
مشخصات کتاب
Specification and Compositional Verification of Real-Time Systems
ویرایش: 1
نویسندگان: Jozef Hooman (auth.)
سری: Lecture Notes in Computer Science 558
ISBN (شابک) : 9783540549475, 9783540466024
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1991
تعداد صفحات: 244
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب مشخصات و تأیید ترکیبی سیستم های بلادرنگ: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Specification and Compositional Verification of Real-Time Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات و تأیید ترکیبی سیستم های بلادرنگ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Introduction....Pages 1-10
Compositionality....Pages 11-54
Compositionality and real-time....Pages 55-102
Adding program variables....Pages 103-128
Shared processors....Pages 129-160
Concluding remarks....Pages 161-166
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Crafting Cooperation: Regional International Institutions in Comparative Perspective
دانلود کتاب Organinsuffizienz und Multiorganversagen
دانلود کتاب Art & science
