ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Real Time Programming 1988

دانلود کتاب برنامه نویسی زمان واقعی 1988

Real Time Programming 1988

مشخصات کتاب

Real Time Programming 1988

ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 9780080362366, 0080362362 
ناشر: Pergamon, Pergamon 
سال نشر: 1989 
تعداد صفحات: 86 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت

قیمت کتاب (تومان) : 36,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 5


در صورت تبدیل فایل کتاب Real Time Programming 1988 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی زمان واقعی 1988 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی زمان واقعی 1988

کامپیوترهای دیجیتال در حال حاضر به طور معمول در سیستم های کنترل آنلاین استفاده می شوند. با پیچیده تر شدن برنامه ها و افزایش هزینه های توسعه نرم افزار، نیاز به ابزارهای نرم افزاری خوب حیاتی می شود. این جلد 14 مقاله در مورد جدیدترین پیشرفت‌ها در برنامه‌نویسی بلادرنگ - زبان‌های برنامه‌نویسی بلادرنگ، ابزارهای توسعه نرم‌افزار و کاربرد سیستم‌های بلادرنگ در صنعت ارائه می‌کند.


توضیحاتی درمورد کتاب به خارجی

Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry



فهرست مطالب

Content: 
Inside Front Cover, Page ii
Front Matter, Page iii
Copyright, Page iv
IFAC WORKSHOP ON REAL TIME PROGRAMMING 1988, Page v
CORRECTNESS VERIFICATION OF REAL-TIME PROGRAMS, Pages 1-6, T. Szmuc
LOTOS BASED DERIVATION METHODOLOGY IN THE PRODAT PROJECT, Pages 7-13, A. Fernández, J. Quemada, L. Vidaller, C. Miguel
THE CREATIVE STEP IN DESIGNING REAL-TIME SOFTWARE, Pages 15-20, T. Tempelmeier
APPLYING THE PRINCIPLE OF SEPARATION OF CONCERNS IN SOFTWARE DEVELOPMENT, Pages 21-27, R.J. Mitchell
SUPPORTING TOOL FOR OBJECT ORIENTED DESIGN OF REAL TIME APPLICATIONS, Pages 29-33, G. Alrebdawi, J.J. Skubich, Y. Martinez
ADDITIONAL PEARL LANGUAGE STRUCTURES FOR THE IMPLEMENTATION OF RELIABLE AND INHERENTLY SAFE REAL-TIME SYSTEMS, Pages 35-42, W.A. Halang, R. Henn
THE USE OF STANDARD SOFTWARE IN REAL TIME PROGRAMMING: AN EXAMPLE DEMONSTRATING THE INTEGRATION OF ADA, ORACLE AND GKS, Pages 43-49, W. Fritz, V. Haase, R. Kalcher
SPECIFICATION, DESIGN AND MODULA-2 IMPLEMENTATION OF A LOW COST INDUSTRIAL CONTROL SYSTEM, Pages 51-56, D. Garcia, H. Lopez, J. Tuya, A. Diez
MICROPROCESSOR BASED DEVELOPMENT TOOL – DESIGN AND REALIZATION OF SISO CONTROLLERS, Pages 57-62, B. Palmgren, F. Aasma
A REAL-TIME SYSTEM FOR ROBOT MANIPULATOR INVERSE DYNAMICS COMPUTATION, Pages 63-68, J.A.T. Machado, J.L.M. de Carvalho, J.A.S. Matos, A.M.C. Costa
A MODEL FOR A HARD REAL TIME SYSTEM EXECUTIVE, Pages 69-74, V. Gafni
THE SPY: A MECHANISM FOR SAFE IMPLEMENTATION OF HIGHLY CONCURRENT SYSTEMS, Pages 75-81, S. Velilla, M. Silva
FORMAL SPECIFICATION, Page 83, J. Szlankó, V. Haase, R. Mitchell, J. Quemada, T. Tempelmeier
PROGRAMMING LANGUAGES FOR REAL-TIME APPLICATIONS, Page 85, V. Haase, T. Tempelmeier, J.J. Skubich, A. Alvarez, W.A. Halang
AUTHOR INDEX, Page 87
Inside Back Cover, Pages 89-90




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی