دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
دانلود کتاب تأیید ، بررسی مدل و تفسیر چکیده: چهاردهمین کنفرانس بین المللی ، VMCAI 2013 ، رم ، ایتالیا ، 20 تا 22 ژانویه ، 2013. مجموعه مقالات
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ویرایش: 1 نویسندگان: Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.) سری: Lecture Notes in Computer Science 7737 ISBN (شابک) : 9783642358722, 9783642358739 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 566 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 82,000
کلمات کلیدی مربوط به کتاب تأیید ، بررسی مدل و تفسیر چکیده: چهاردهمین کنفرانس بین المللی ، VMCAI 2013 ، رم ، ایتالیا ، 20 تا 22 ژانویه ، 2013. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید ، بررسی مدل و تفسیر چکیده: چهاردهمین کنفرانس بین المللی ، VMCAI 2013 ، رم ، ایتالیا ، 20 تا 22 ژانویه ، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید ، بررسی مدل و تفسیر چکیده: چهاردهمین کنفرانس بین المللی ، VMCAI 2013 ، رم ، ایتالیا ، 20 تا 22 ژانویه ، 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بینالمللی
تأیید، بررسی مدل و تفسیر انتزاعی، VMCAI 2013، در رم، ایتالیا،
در ژانویه 2013، با همزمان با سمپوزیوم اصول زبانهای
برنامهنویسی، POPL است. 2013.
27 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 72
مقاله ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات
از جمله تأیید برنامه، بررسی مدل، تفسیر انتزاعی و حوزه های
انتزاعی، ترکیب برنامه، تجزیه و تحلیل استاتیک، سیستم نوع، روش
های قیاسی، گواهی برنامه، تکنیک های اشکال زدایی، تبدیل برنامه،
بهینه سازی، سیستم های ترکیبی و سایبری-فیزیکی را پوشش می دهد.
.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th
International Conference on Verification, Model Checking, and
Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in
January 2013, co-located with the Symposium on Principles of
Programming Languages, POPL 2013.
The 27 revised full papers presented were carefully reviewed
and selected from 72 submissions. The papers cover a wide
range of topics including program verification, model
checking, abstract interpretation and abstract domains,
program synthesis, static analysis, type system, deductive
methods, program certification, debugging techniques, program
transformation, optimization, hybrid and cyber-physical
systems.
فهرست مطالب
Front Matter....Pages -
A Model-Constructing Satisfiability Calculus....Pages 1-12
Automata as Proofs....Pages 13-14
Complete Abstractions Everywhere....Pages 15-26
Abstraction-Guided Synthesis....Pages 27-27
SMT-Based Bisimulation Minimisation of Markov Models....Pages 28-47
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems....Pages 48-67
Quantifying Information Leakage of Randomized Protocols....Pages 68-87
Reductions for Synthesis Procedures....Pages 88-107
Towards Efficient Parameterized Synthesis....Pages 108-127
Automatic Inference of Necessary Preconditions....Pages 128-148
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools....Pages 149-168
SMT-Based Array Invariant Generation....Pages 169-188
Flow-Sensitive Fault Localization....Pages 189-208
Static Analysis of String Encoders and Decoders....Pages 209-228
Robustness Analysis of Networked Systems....Pages 229-247
Causality Checking for Complex System Models....Pages 248-267
ClabureDB : Classified Bug-Reports Database....Pages 268-274
Tool Integration with the Evidential Tool Bus....Pages 275-294
Compositional and Lightweight Dependent Type Inference for ML....Pages 295-314
Abstract Read Permissions: Fractional Permissions without the Fractions....Pages 315-334
Sound and Complete Flow Typing with Unions, Intersections and Negations....Pages 335-354
Knockout Prediction for Reaction Networks with Partial Kinetic Information....Pages 355-374
Reduced Product Combination of Abstract Domains for Shapes....Pages 375-395
Abstraction of Syntax....Pages 396-413
Logico-Numerical Max-Strategy Iteration....Pages 414-433
A Constraint Solver Based on Abstract Domains....Pages 434-454
An Abstract Interpretation of DPLL(T)....Pages 455-475
All for the Price of Few....Pages 476-495
Uncovering Symmetries in Irregular Process Networks....Pages 496-514
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction....Pages 515-535
Compositional Sequentialization of Periodic Programs....Pages 536-554
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Elizabethan Drama : Marlowe, Shakespeare : With Introductions and Notes
دانلود کتاب La psyché en médecine chinoise
