دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.) سری: Lecture Notes in Computer Science 7342 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642311123, 9783642311130 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 371 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ریاضیات ساخت برنامه: یازدهمین کنفرانس بین المللی ، MPC 2012 ، مادرید ، اسپانیا ، 25 تا 27 ژوئن ، 2012. مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، ریاضیات گسسته در علوم کامپیوتر، زبان های برنامه نویسی، کامپایلر، مترجمان، کاربردهای ریاضی در علوم کامپیوتر
در صورت تبدیل فایل کتاب Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات ساخت برنامه: یازدهمین کنفرانس بین المللی ، MPC 2012 ، مادرید ، اسپانیا ، 25 تا 27 ژوئن ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین المللی ریاضیات ساخت برنامه، MPC 2012، برگزار شده در مادرید، اسپانیا، در ژوئن 2012 است. 27 ارسال. این مقالات در بخشهای موضوعی در مورد امنیت و جریان اطلاعات، سیستمهای همزمان و بیدرنگ، الگوریتمها و بازیها، محاسبات برنامه، پشتیبانی ابزار، جبرها و انواع داده، و برنامهنویسی تابعی طبقهبندی شدهاند.
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
Front Matter....Pages -
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs....Pages 1-6
The Laws of Programming Unify Process Calculi....Pages 7-22
The Geometry of Synthesis....Pages 23-24
Scheduler-Independent Declassification....Pages 25-47
Elementary Probability Theory in the Eindhoven Style....Pages 48-73
Scheduling and Buffer Sizing of n-Synchronous Systems....Pages 74-101
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications....Pages 102-131
Calculating Graph Algorithms for Dominance and Shortest Path....Pages 132-156
First-Past-the-Post Games....Pages 157-176
Reverse Exchange for Concurrency and Local Reasoning....Pages 177-197
Unifying Correctness Statements....Pages 198-219
Dependently Typed Programming Based on Automated Theorem Proving....Pages 220-240
An Algebraic Calculus of Database Preferences....Pages 241-262
Modular Tree Automata....Pages 263-299
Constructing Applicative Functors....Pages 300-323
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick....Pages 324-362
Back Matter....Pages -