دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
دانلود کتاب مدرسه برنامه نویسی تابعی اروپا مرکزی: مدرسه تابستانی سوم ، CEFP 2009 ، بوداپست ، مجارستان ، 21-23 مه ، 2009 و Komárno ، اسلواکی ، 25-30 مه 2009 ، سخنرانی های منتخب
مشخصات کتاب
Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
ویرایش: 1 نویسندگان: Adam Granicz (auth.), Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (eds.) سری: Lecture Notes in Computer Science 6299 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642176852, 3642176852 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 398 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب مدرسه برنامه نویسی تابعی اروپا مرکزی: مدرسه تابستانی سوم ، CEFP 2009 ، بوداپست ، مجارستان ، 21-23 مه ، 2009 و Komárno ، اسلواکی ، 25-30 مه 2009 ، سخنرانی های منتخب: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدرسه برنامه نویسی تابعی اروپا مرکزی: مدرسه تابستانی سوم ، CEFP 2009 ، بوداپست ، مجارستان ، 21-23 مه ، 2009 و Komárno ، اسلواکی ، 25-30 مه 2009 ، سخنرانی های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدرسه برنامه نویسی تابعی اروپا مرکزی: مدرسه تابستانی سوم ، CEFP 2009 ، بوداپست ، مجارستان ، 21-23 مه ، 2009 و Komárno ، اسلواکی ، 25-30 مه 2009 ، سخنرانی های منتخب
این جلد، یادداشت‌های سخنرانی اصلاح‌شده سخنرانی‌های منتخب
ارائه شده در سومین مدرسه برنامه‌نویسی عملکردی اروپای مرکزی،
CEFP 2009، که در می 2009 در کومارنو، اسلواکی برگزار شد، ارائه
می‌کند. این کنفرانس با کنفرانس TFP 2009 سازماندهی شد. مدرسه
تابستانی شامل یک جلسه گرم کردن سه روزه بود که در بوداپست،
مجارستان نیز در می 2009 ترتیب داده شد.
11 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و انتخاب شدند.
این سخنرانی ها طیف گسترده ای از موضوعات مانند الگوهای طراحی،
معناشناسی، انواع و برنامه نویسی پیشرفته در زبان های برنامه
نویسی کاربردی مختلف را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
This volume presents the revised lecture notes of selected
talks given at the Third Central European Functional
Programming School, CEFP 2009, held in May 2009 in Komárno,
Slovakia. It was co-organized with the TFP 2009 conference.
The summer school included a three days warm-up session
organized in Budapest, Hungary also in May, 2009.
The 11 revised full papers presented were carefully reviewed
and selected. The lectures cover a wide range of topics such
as design patterns, semantics, types, and advanced
programming in various functional programming languages.
فهرست مطالب
Front Matter....Pages -
Rapid Prototyping of DSLs with F#....Pages 1-18
Erlang Behaviours: Programming with Process Design Patterns....Pages 19-41
Reasoning about Codata....Pages 42-93
Programming in Manticore, a Heterogenous Parallel Functional Language....Pages 94-145
Non-monadic Models of Mutable References....Pages 146-182
Software Testing with QuickCheck....Pages 183-223
An Effective Methodology for Defining Consistent Semantics of Complex Systems....Pages 224-267
Types for Units-of-Measure: Theory and Practice....Pages 268-305
Functional Programming with C++ Template Metaprograms....Pages 306-353
Embedding a Proof System in Haskell....Pages 354-371
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs....Pages 372-390
Back Matter....Pages -
