توضیحات
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.
————————————————————–
ترجمه ماشینی :
این کتاب دسترسی آزاد مجموعه مقالات بیست و هفتمینامین سمپوزیوم اروپایی برنامه نویسی، ESOP 2018، که در سال 2018 در تسالونیکی، یونان در آوریل 2018 برگزار شد، به عنوان بخشی از اتحادیه مشترک اروپا برگزار شد. کنفرانسهای نظریه و عمل نرمافزار، ETAPS 2018.
36 مقاله ارائهشده در این جلد به دقت بررسی و از 114 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی به نام های: طراحی زبان سازماندهی شده اند. برنامه ریزی احتمالی؛ انواع و اثرات؛ همزمانی؛ امنیت؛ تأیید برنامه؛ تجزیه و تحلیل برنامه و تأیید خودکار؛ انواع جلسات و همزمانی؛ همزمانی و توزیع؛ و تأیید کامپایلر.
tag : دانلود کتاب زبان ها و سیستم های برنامه نویسی , Download زبان ها و سیستم های برنامه نویسی , دانلود زبان ها و سیستم های برنامه نویسی , Download Programming Languages and Systems Book , زبان ها و سیستم های برنامه نویسی دانلود , buy زبان ها و سیستم های برنامه نویسی , خرید کتاب زبان ها و سیستم های برنامه نویسی , دانلود کتاب Programming Languages and Systems , کتاب Programming Languages and Systems , دانلود Programming Languages and Systems , خرید Programming Languages and Systems , خرید کتاب Programming Languages and Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.