ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

دانلود کتاب از جهت گیری شی به روش های رسمی: مقاله هایی در حافظه اوله-یوهان دال

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

مشخصات کتاب

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 2635 
ISBN (شابک) : 9783540213666, 354021366X 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2004 
تعداد صفحات: 398 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



کلمات کلیدی مربوط به کتاب از جهت گیری شی به روش های رسمی: مقاله هایی در حافظه اوله-یوهان دال: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب از جهت گیری شی به روش های رسمی: مقاله هایی در حافظه اوله-یوهان دال



بعد از بازنشستگی اول یوهان در آغاز هزاره جدید، برخی از ما درباره ساختن "Festschrift" به افتخار او فکر کرده و صحبت کرده بودیم. هنگامی که دونالد کنوت با ارسال اولین مشارکت برای ما ابتکار عمل را به دست گرفت، Pcess شروع به چرخش کرد! در اوایل سال 2002 یک گروه ویرایش تشکیل شد، از جمله کریستن نایگارد، که اول یوهان را از دوران دانشجویی اش می شناخت و با او زبان سیمولا را توسعه داده بود. سپس تعدادی از محققین برجسته آشنا به اوله یوهان را دعوت کردیم تا به مناسبت هفتادمین سالگرد تولد اولهان، برای کتابی که در مورد اوله‌جوهان است، مشارکت کنند. مدعوها شامل چندین عضو گروه کاری IFIP 2. 3 بودند، انجمنی که اوله یوهان در طول زندگی حرفه‌ای خود از آن لذت می‌برد و از شرکت در آن لذت می‌برد. علیرغم مهلت کوتاه، پاسخ به دعوتنامه ها بسیار مثبت بود. ایده اولیه این بود که کتاب را نسبتاً سریع تکمیل کند تا هدیه ای باشد که بتواند بخواند و از آن لذت ببرد، زیرا تا آن زمان او سه سال به سرطان مبتلا شده بود و سلامتش به تدریج رو به وخامت بود. کریستن مرتباً به ملاقات اول یوهان، که در آن زمان در بیمارستان بود، رفته بود و آنها در حال کار بر روی سخنرانی جایزه تورینگ خود بودند. اوله یوهان از شنیدن مشارکت در این کتاب خوشحال شد، اما متواضعانه این احساس را بیان کرد که نیازی به انجام یک پروژه کتاب از طرف او نیست. اول یوهان با پذیرفتن مسالمت آمیز سرنوشت خود در 29 ژوئن 2002 درگذشت.


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

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.



فهرست مطالب

Front Matter....Pages -
A Biography of Ole-Johan Dahl....Pages 1-7
A Bibliography of Ole-Johan Dahl....Pages 8-14
The Birth of Object Orientation: the Simula Languages....Pages 15-25
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language....Pages 26-57
Towards Posit & Prove Calculi for Requirements Engineering and Software Design....Pages 58-82
Distributed Concurrent Object-Oriented Software....Pages 83-95
Composing Hidden Information Modules over Inclusive Institutions....Pages 96-123
Towards the Verifying Compiler....Pages 124-136
Object-Oriented Specification and Open Distributed Systems....Pages 137-164
SIMULA and Super-Object-Oriented Programming....Pages 165-182
Efficient Coroutine Generation of Constrained Gray Sequences....Pages 183-208
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding....Pages 209-235
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design....Pages 236-271
Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games....Pages 272-301
Incremental Reasoning for Object Oriented Systems....Pages 302-333
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework....Pages 334-375
Building Optimal Binary Search Trees from Sorted Values in O( N ) Time....Pages 376-388
Back Matter....Pages -




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