دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
دانلود کتاب وحدت نظریه های برنامه نویسی: پنجمین سمپوزیوم بین المللی ، UTP 2014 ، سنگاپور ، 13 مه 2014 ، مقالات منتخب بازبینی شده
مشخصات کتاب
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
ویرایش: 1
نویسندگان: David Naumann (eds.)
سری: Lecture Notes in Computer Science 8963 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319148052, 9783319148069
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 151
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب وحدت نظریه های برنامه نویسی: پنجمین سمپوزیوم بین المللی ، UTP 2014 ، سنگاپور ، 13 مه 2014 ، مقالات منتخب بازبینی شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب وحدت نظریه های برنامه نویسی: پنجمین سمپوزیوم بین المللی ، UTP 2014 ، سنگاپور ، 13 مه 2014 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب وحدت نظریه های برنامه نویسی: پنجمین سمپوزیوم بین المللی ، UTP 2014 ، سنگاپور ، 13 مه 2014 ، مقالات منتخب بازبینی شده
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین‌المللی در زمینه یکپارچه‌سازی نظریه‌های برنامه‌نویسی، UTP 2014، برگزار شده در سنگاپور، سنگاپور، در 13 مه 2014، هم‌زمان با نوزدهمین سمپوزیوم بین‌المللی روش‌های رسمی، FM 2014 است. 7 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده به دقت بررسی و از 11 مقاله ارسالی انتخاب شدند. آنها با نمادهای رسمی و تئوری های متعدد برنامه نویسی، مانند انتزاع، پالایش، انتخاب، خاتمه، امکان سنجی، محلی بودن، همزمانی و ارتباط سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
فهرست مطالب
Front Matter....Pages I-XI
Three Approaches to Timed External Choice in UTP....Pages 1-20
Isabelle/UTP : A Mechanised Theory Engineering Framework....Pages 21-41
Angelicism in the Theory of Reactive Processes....Pages 42-61
Constructing the Views Framework....Pages 62-83
Towards Algebraic Semantics of Circus Time ....Pages 84-104
Observation-Oriented Semantics for Calculus of Wireless Systems....Pages 105-124
A Formal Model for a Hybrid Programming Language....Pages 125-142
Back Matter....Pages 143-143
