دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Towards a Formal Description of Ada
دانلود کتاب به سوی توصیف رسمی آدا
مشخصات کتاب
Towards a Formal Description of Ada
ویرایش: [1 ed.] نویسندگان: Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.) سری: Lecture Notes in Computer Science 98 ISBN (شابک) : 3540102833, 9783540102830 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1980 تعداد صفحات: 546 [644] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Towards a Formal Description of Ada به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب به سوی توصیف رسمی آدا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
The DDC Ada compiler development method....Pages 1-20
A denotational (static) semantics method for defining Ada context conditions....Pages 21-212
A formal semantics definition of sequential Ada....Pages 213-308
Parallelism in Ada....Pages 309-434
The design of a virtual machine for Ada....Pages 435-606
