دانلود کتاب 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 و کومارنو، اسلواکی، 25-30 می 2009، سخنرانی های منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب مدرسه برنامه نویسی تابعی اروپای مرکزی: سومین مدرسه تابستانی، CEFP 2009، بوداپست، مجارستان، 21-23 می 2009 و کومارنو، اسلواکی، 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
نام کتاب : 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
عنوان ترجمه شده به فارسی : مدرسه برنامه نویسی تابعی اروپای مرکزی: سومین مدرسه تابستانی، CEFP 2009، بوداپست، مجارستان، 21-23 می 2009 و کومارنو، اسلواکی، 25-30 می 2009، سخنرانی های منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6299 : Theoretical Computer Science and General Issues
نویسندگان : Adam Granicz (auth.), Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 402
ISBN (شابک) : 3642176844 , 9783642176845
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد یادداشت‌های سخنرانی اصلاح‌شده سخنرانی‌های منتخب ارائه‌شده در سومین مدرسه برنامه‌نویسی عملکردی اروپای مرکزی، CEFP 2009، که در می 2009 در کومارنو، اسلواکی برگزار شد، ارائه می‌کند. این کنفرانس با کنفرانس TFP 2009 سازماندهی شد. مدرسه تابستانی شامل یک جلسه گرم کردن سه روزه بود که در بوداپست، مجارستان نیز در ماه مه 2009 برگزار شد.
11 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و انتخاب شدند. این سخنرانی ها طیف گسترده ای از موضوعات مانند الگوهای طراحی، معناشناسی، انواع و برنامه نویسی پیشرفته در زبان های برنامه نویسی کاربردی مختلف را پوشش می دهند.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی