دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.) سری: Lecture Notes in Computer Science 61 ISBN (شابک) : 3540087664, 9783540087663 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1978 تعداد صفحات: 398 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
کلمات کلیدی مربوط به کتاب روش توسعه وین: Meta-Language: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب The Vienna Development Method: The Meta-Language به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش توسعه وین: Meta-Language نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
On the formalization of programming languages: Early history and main approaches....Pages 1-23
Programming in the meta-language: A tutorial....Pages 24-217
The meta-language: A reference manual....Pages 218-277
Denotational semantics of goto: An exit formulation and its relation to continuations....Pages 278-304
A formal definition of ALGOL 60 as described in the 1975 modified report....Pages 305-336
Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition....Pages 337-374
References & bibliography....Pages 375-382