ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

دانلود کتاب زبانها و سیستم های برنامه نویسی: سی امین سمپوزیوم اروپا در زمینه برنامه ریزی، ESOP 2003 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار، ETAPS 2003 ورشو، لهستان، 7-11 آوریل 2003، پرونده ها

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

مشخصات کتاب

Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 2618 
ISBN (شابک) : 3540008861, 9783540008866 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2003 
تعداد صفحات: 427 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



کلمات کلیدی مربوط به کتاب زبانها و سیستم های برنامه نویسی: سی امین سمپوزیوم اروپا در زمینه برنامه ریزی، ESOP 2003 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار، ETAPS 2003 ورشو، لهستان، 7-11 آوریل 2003، پرونده ها: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، ساختارهای داده، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبانها و سیستم های برنامه نویسی: سی امین سمپوزیوم اروپا در زمینه برنامه ریزی، ESOP 2003 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار، ETAPS 2003 ورشو، لهستان، 7-11 آوریل 2003، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبانها و سیستم های برنامه نویسی: سی امین سمپوزیوم اروپا در زمینه برنامه ریزی، ESOP 2003 برگزار شد به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار، ETAPS 2003 ورشو، لهستان، 7-11 آوریل 2003، پرونده ها



این کتاب مجموعه مقالات داوری دوازدهمین سمپوزیوم اروپایی در برنامه نویسی، ESOP 2003، برگزار شده در ورشو، لهستان، در آوریل 2003 است.

25 مورد تجدید نظر شده مقالات کامل ارائه شده به همراه دو مقاله دعوت شده به دقت بررسی و از بین 99 مقاله ارسالی انتخاب شدند. از جمله موضوعات مطرح شده، پارادایم های برنامه نویسی و ادغام آنها، معناشناسی برنامه، محاسبات محاسباتی، امنیت، سیستم های نوع پیشرفته، تجزیه و تحلیل برنامه، تبدیل برنامه، و الگوریتم های عملی بر اساس تحولات نظری است.


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

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.

The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.



فهرست مطالب

Computer Security from a Programming Language and Static Analysis Perspective....Pages 1-9
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis....Pages 10-21
A Tail-Recursive Semantics for Stack Inspections....Pages 22-37
Flexible Models for Dynamic Linking....Pages 38-53
Correction of Functional Logic Programs....Pages 54-68
Approximate Pruning in Tabled Logic Programming....Pages 69-83
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling....Pages 84-98
Security Properties: Two Agents Are Sufficient....Pages 99-113
A Simple Language for Real-Time Cryptographic Protocol Analysis....Pages 114-128
Rule Formats for Non Interference....Pages 129-143
On the Secure Implementation of Security Protocols....Pages 144-158
Handling Encryption in an Analysis for Secure Information Flow....Pages 159-173
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers....Pages 174-188
Automatic Software Model Checking Using CLP....Pages 189-203
Verifying Temporal Heap Properties Specified via Evolution Logic....Pages 204-222
Correctness of Data Representations Involving Heap Data Structures....Pages 223-237
Modeling Web Interactions....Pages 238-252
Type Inference for a Distributed π-Calculus....Pages 253-268
Type-Safe Update Programming....Pages 269-283
Type Error Slicing in Implicitly Typed Higher-Order Languages....Pages 284-301
Core Formal Molecular Biology....Pages 302-318
Requirements on the Execution of Kahn Process Networks....Pages 319-334
Tagging, Encoding, and Jones Optimality....Pages 335-347
The Rely-Guarantee Method in Isabelle/HOL....Pages 348-362
Building Certified Libraries for PCC: Dynamic Storage Allocation....Pages 363-379
Finite Differencing of Logical Formulas for Static Analysis....Pages 380-398
Register Allocation by Proof Transformation....Pages 399-413




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