دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
دانلود کتاب معناشناسی، منطق، و محاسبات: مقالات تقدیم به هانه ریس نیلسون و فلمینگ نیلسون به مناسبت شصتمین سالگرد تولد آنها
مشخصات کتاب
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ویرایش: 1 نویسندگان: Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.) سری: Lecture Notes in Computer Science 9560 ISBN (شابک) : 9783319278094, 9783319278100 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 353 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب معناشناسی، منطق، و محاسبات: مقالات تقدیم به هانه ریس نیلسون و فلمینگ نیلسون به مناسبت شصتمین سالگرد تولد آنها: منطق و معانی برنامه ها، مهندسی نرم افزار، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی، منطق، و محاسبات: مقالات تقدیم به هانه ریس نیلسون و فلمینگ نیلسون به مناسبت شصتمین سالگرد تولد آنها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی، منطق، و محاسبات: مقالات تقدیم به هانه ریس نیلسون و فلمینگ نیلسون به مناسبت شصتمین سالگرد تولد آنها
این جلد Festschrift به افتخار Hanne Riis Nielson و Flemming
Nielson به مناسبت تولد 60 سالگی آنها در سال 2014 و 2015 منتشر
شده است. مقالات موجود در این جلد به حوزه وسیعی از محاسبات،
معناشناسی و تحلیل می پردازد.
این کتاب شامل مشارکت های همکارانی است که در طول زندگی علمی
خود با هان و فلمینگ همکاری کرده اند و به آنها اختصاص داده شده
است. به کارشان این مقالات در کنفرانسی در دانشگاه فنی دانمارک
در ژانویه 2016 ارائه شد.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume is published in honor of Hanne Riis
Nielson and Flemming Nielson on the occasion of their 60th
birthdays in 2014 and 2015, respectively. The papers included
in this volume deal with the wide area of calculi, semantics,
and analysis.
The book features contributions from colleagues, who have
worked together with Hanne and Flemming through their
scientific life and are dedicated to them and to their work.
The papers were presented at a colloquium at the Technical
University of Denmark in January 2016.
فهرست مطالب
Front Matter....Pages I-X
Effect Systems Revisited—Control-Flow Algebra and Semantics....Pages 1-32
Last Mile’s Resources....Pages 33-53
Formal Modelling and Analysis of Socio-Technical Systems....Pages 54-73
Static Timing Analysis – What is Special?....Pages 74-87
An Automata-Based Approach to Trace Partitioned Abstract Interpretation....Pages 88-110
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression....Pages 111-139
Abstract Interpretation of PEPA Models....Pages 140-158
Static Analysis of Parity Games: Alternating Reachability Under Parity....Pages 159-177
Game Theory and Industrial Control Systems....Pages 178-190
Playing with Abstraction and Representation....Pages 191-213
Schedulers are no Prophets....Pages 214-235
Replicating Data for Better Performances in X10....Pages 236-251
Guards, Failure, and Partiality: Dijkstra’s Guarded-Command Language Formulated Topologically....Pages 252-271
Enhancing Top-Down Solving with Widening and Narrowing....Pages 272-288
Modal Intersection Types, Two-Level Languages, and Staged Synthesis....Pages 289-312
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics....Pages 313-343
Back Matter....Pages 345-345
