دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
دانلود کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: هفدهمین کنفرانس بین المللی ، TACAS 2011 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه نظریه و عملکرد نرم افزار ، ETAPS 2011 ، Saarbrücken ، آلمان ، 26 مارس - 3 آوریل 2011.
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ویرایش: 1 نویسندگان: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.) سری: Lecture Notes in Computer Science 6605 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642198342, 9783642198359 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 408 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: هفدهمین کنفرانس بین المللی ، TACAS 2011 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه نظریه و عملکرد نرم افزار ، ETAPS 2011 ، Saarbrücken ، آلمان ، 26 مارس - 3 آوریل 2011.: مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: هفدهمین کنفرانس بین المللی ، TACAS 2011 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه نظریه و عملکرد نرم افزار ، ETAPS 2011 ، Saarbrücken ، آلمان ، 26 مارس - 3 آوریل 2011. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: هفدهمین کنفرانس بین المللی ، TACAS 2011 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه نظریه و عملکرد نرم افزار ، ETAPS 2011 ، Saarbrücken ، آلمان ، 26 مارس - 3 آوریل 2011.
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2011، برگزار شده در زاربروکن، آلمان، 26 مارس تا 3 آوریل 2011، به عنوان بخشی از ETAPS است. 2011، کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار.
32 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 112 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد مدل‌های حافظه و ثبات، متغیرها و خاتمه، سیستم‌های زمان‌بندی‌شده و احتمالی، درونیابی‌ها و حل‌کننده‌های SAT، یادگیری، بررسی مدل، بازی‌ها و خودکارها، تأیید و سیستم‌های احتمالی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.
فهرست مطالب
Front Matter....Pages -
Reliable Software Development: Analysis-Aware Design....Pages 1-2
Transition Invariants and Transition Predicate Abstraction for Program Termination....Pages 3-10
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models....Pages 11-25
Compositionality Entails Sequentializability....Pages 26-40
Litmus : Running Tests against Hardware....Pages 41-44
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories....Pages 45-59
Invariant Generation in Vampire....Pages 60-64
Enforcing Structural Invariants Using Dynamic Frames....Pages 65-80
Loop Summarization and Termination Analysis....Pages 81-95
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata....Pages 96-111
Quantitative Multi-objective Verification for Probabilistic Systems....Pages 112-127
Efficient CTMC Model Checking of Linear Real-Time Objectives....Pages 128-142
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic....Pages 143-157
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems....Pages 158-172
Specification-Based Program Repair Using SAT....Pages 173-188
Optimal Base Encodings for Pseudo-Boolean Constraints....Pages 189-204
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference....Pages 205-219
Next Generation LearnLib....Pages 220-223
Applying CEGAR to the Petri Net State Equation....Pages 224-238
Biased Model Checking Using Flows....Pages 239-253
S-TaLiRo : A Tool for Temporal Logic Falsification for Hybrid Systems....Pages 254-257
GAVS+: An Open Platform for the Research of Algorithmic Game Solving....Pages 258-261
Büchi Store: An Open Repository of Büchi Automata....Pages 262-266
QUASY: Quantitative Synthesis Tool....Pages 267-271
Unbeast: Symbolic Bounded Synthesis....Pages 272-275
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy....Pages 276-290
The ACL2 Sedan Theorem Proving System....Pages 291-295
On Probabilistic Parallel Programs with Process Creation and Synchronisation....Pages 296-310
Confluence Reduction for Probabilistic Systems....Pages 311-325
Model Repair for Probabilistic Systems....Pages 326-340
Boosting Lazy Abstraction for SystemC with Partial Order Reduction....Pages 341-356
Modelling and Verification of Web Services Business Activity Protocol....Pages 357-371
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes....Pages 372-387
GameTime: A Toolkit for Timing Analysis of Software....Pages 388-392
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Elektrische Antriebe — Grundlagen: Mit durchgerechneten Übungs- und Prüfungsaufgaben
