ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

دانلود کتاب تئوری های متحد برنامه نویسی: اولین سمپوزیوم بین المللی ، UTP 2006 ، قلعه والورث ، کانتی دورام ، انگلستان ، 5-7 فوریه 2006 ، برگه های تجدید نظر شده

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

مشخصات کتاب

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 4010 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 354034750X, 9783540347507 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2006 
تعداد صفحات: 264 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



کلمات کلیدی مربوط به کتاب تئوری های متحد برنامه نویسی: اولین سمپوزیوم بین المللی ، UTP 2006 ، قلعه والورث ، کانتی دورام ، انگلستان ، 5-7 فوریه 2006 ، برگه های تجدید نظر شده: محاسبات توسط دستگاه‌های انتزاعی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، تکنیک‌های برنامه‌نویسی، مهندسی نرم‌افزار، سیستم‌های عامل



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

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


در صورت تبدیل فایل کتاب Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تئوری های متحد برنامه نویسی: اولین سمپوزیوم بین المللی ، UTP 2006 ، قلعه والورث ، کانتی دورام ، انگلستان ، 5-7 فوریه 2006 ، برگه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تئوری های متحد برنامه نویسی: اولین سمپوزیوم بین المللی ، UTP 2006 ، قلعه والورث ، کانتی دورام ، انگلستان ، 5-7 فوریه 2006 ، برگه های تجدید نظر شده



این کتاب مجموعه مقالات پس از داوری کامل اولین سمپوزیوم بین المللی تئوری های یکپارچه برنامه نویسی، UTP 2006 است که در قلعه والورث، شهرستان دورهام، انگلستان، در فوریه 2006 برگزار شد.

14 مورد تجدید نظر مقالات کامل ارائه شده، از جمله مقالات شش سخنران دعوت شده، به دقت بررسی و برای ارائه در سمپوزیوم انتخاب شدند و پس از جلسه در مرحله دوم بهبود یافتند. UTP 2006 بر اساس کار پیشگام بر روی یکپارچه سازی تئوری های برنامه نویسی توسط تونی هار و جیفنگ هی، ارتباط پروژه UTP در حال انجام را مجدداً تأیید کرد و آن را با تمرکز بر مهمترین نتایج و با افزایش آگاهی از مزایای یکپارچه سازی چارچوب های نظری در میان افراد، ارتقا داد. جوامع گسترده تر علوم کامپیوتر و مهندسی نرم افزار.


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

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006.

The 14 revised full papers presented, including those by the six invited speakers, were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.



فهرست مطالب

Front Matter....Pages -
Retrospective and Prospective for Unifying Theories of Programming....Pages 1-17
Object-Orientation in the UTP....Pages 18-37
CSP Is a Retract of CCS....Pages 38-62
A Design-Based Model of Reversible Computation....Pages 63-83
An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)....Pages 84-84
Constructing Property-Oriented Models for Verification....Pages 85-100
A Relational Investigation of UTP Designs and Prescriptions....Pages 101-122
Unifying Theories in ProofPower-Z....Pages 123-140
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe....Pages 141-154
Hierarchical Organisation of Predicate-Semantic Models....Pages 155-172
Unifying Probability....Pages 173-199
Pointers and Records in the Unifying Theories of Programming....Pages 200-216
Mechanising a Unifying Theory....Pages 217-235
Modal Design Algebra....Pages 236-256
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی