دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
دانلود کتاب معناشناسی و مشخصات جبری: مقاله هایی که به مناسبت 60 سالگی تولد وی به پیتر دی. ماس اختصاص یافته است
مشخصات کتاب
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ویرایش: [1 ed.] نویسندگان: Jens Palsberg (auth.), Jens Palsberg (eds.) سری: Lecture Notes in Computer Science 5700 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642041648, 3642041647 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 409 [418] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی و مشخصات جبری: مقاله هایی که به مناسبت 60 سالگی تولد وی به پیتر دی. ماس اختصاص یافته است نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی و مشخصات جبری: مقاله هایی که به مناسبت 60 سالگی تولد وی به پیتر دی. ماس اختصاص یافته است
این جلد Festschrift، که به افتخار پیتر دی. ماس به مناسبت شصتمین سالگرد تولد او منتشر شده است، شامل 17 فصل دعوت شده توسط بسیاری از نویسندگان، همکاران، همکاران نزدیک و دانشجویان سابق پیتر است.
پیتر دی. ماسس به دلیل مشارکت های فراوانش در حوزه معناشناسی برنامه های رسمی شناخته شده است. او به ویژه معناشناسی کنشی را توسعه داد، ترکیبی از معناشناسی معنایی، عملیاتی و جبری.
این سخنرانی ها - که در سمپوزیومی به افتخار او در اودینه، ایتالیا، در 10 سپتامبر 2009 ارائه شد - در مورد موضوعات مرتبط با کمک های فنی فراوان پیتر و آنها ادای احترامی به تاثیر ماندگار او در زمین بود. موضوعاتی که در این مقاله به آنها پرداخته می شود عبارتند از: معناشناسی کنش، طراحی خط مشی امنیتی، شبکه های پتری رنگی، پارامترهای مرتب شده و استقرا، معناشناسی کنش شی گرا، معناشناسی عملیاتی ساختاری، تبدیل مدل، زبان برنامه نویسی طرح، بررسی نوع، جبرهای کنشی، و نشانه ها. معناشناسی.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students.
Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics.
The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.
