دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
دانلود کتاب تئوری های متحد کننده برنامه نویسی: هفتمین سمپوزیوم بین المللی، UTP 2019، تقدیم به تونی هور به مناسبت هشتاد و پنجمین سالگرد تولد او، پورتو، پرتغال، 8 اکتبر 2019، مجموعه مقالات
مشخصات کتاب
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Pedro Ribeiro. Augusto Sampaio
سری: Lecture Notes in Computer Science 11885
ISBN (شابک) : 9783030310370, 9783030310387
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XIV, 217
[224]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 Mb
قیمت کتاب (تومان) : 74,000
در صورت تبدیل فایل کتاب Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری های متحد کننده برنامه نویسی: هفتمین سمپوزیوم بین المللی، UTP 2019، تقدیم به تونی هور به مناسبت هشتاد و پنجمین سالگرد تولد او، پورتو، پرتغال، 8 اکتبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری های متحد کننده برنامه نویسی: هفتمین سمپوزیوم بین المللی، UTP 2019، تقدیم به تونی هور به مناسبت هشتاد و پنجمین سالگرد تولد او، پورتو، پرتغال، 8 اکتبر 2019، مجموعه مقالات
این جلد شامل مقالات ارائه شده در UTP 2019، هفتمین سمپوزیوم بین المللی متحد کردن نظریه های برنامه نویسی است که در پورتو، پرتغال، در 8 اکتبر 2019 برگزار شد. این نسخه از سمپوزیوم UTP به افتخار سر تونی است. هور به مناسبت تولد 85 سالگی اش. مقالات موجود در این جلد دعوت شد، و با داوری دوستانه، مشارکت اصلی از جامعه UTP درخواست شد. یکی از مقالات از سخنران برجسته دعوت شده خود تونی هور است. نه مقاله اضافی دیگر این جلد را تشکیل میدهند که جنبههای مختلفی از نظریههای یکپارچه برنامهنویسی را پوشش میدهد.
توضیحاتی درمورد کتاب به خارجی
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Radical, Religious, and Violent: The New Economics of Terrorism
