ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

دانلود کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، من

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

مشخصات کتاب

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 10205 
ISBN (شابک) : 9783662545775, 9783662545768 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2017 
تعداد صفحات: 620 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 26 مگابایت

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



کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، من: منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، من نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، من



مجموعه دو کتابی LNCS 10205 + 10206 مجموعه مقالات بیست و سومین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها، TACAS 2017 است که در آوریل 2017 در اوپسالا، سوئد برگزار شد. کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2017.

48 مقاله کامل، 4 مقاله نمایش ابزار، و 12 مقاله مسابقه نرم افزار ارائه شده در این مجلدها به دقت بررسی و از 181 مقاله ارسالی به TACAS و 32 مقاله ارسالی به TACAS انتخاب شدند. رقابت نرم افزاری آنها در بخش های موضوعی به نام های زیر سازماندهی شدند: تکنیک های تایید. یادگیری؛ سنتز؛ خودکار؛ همزمانی و شبیه سازی؛ سیستم های هیبریدی؛ امنیت؛ تایید زمان اجرا و منطق. سیستم های کمی؛ SAT و SMT؛ و SV COMP.


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

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.



فهرست مطالب

Front Matter....Pages I-XXIV
Front Matter....Pages 1-1
Validation, Synthesis and Optimization for Cyber-Physical Systems....Pages 3-20
Front Matter....Pages 21-21
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP....Pages 23-40
Combining String Abstract Domains for JavaScript Analysis: An Evaluation....Pages 41-57
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF....Pages 58-75
Bounded Quantifier Instantiation for Checking Inductive Invariants....Pages 76-95
Front Matter....Pages 97-97
Proving Termination Through Conditional Termination....Pages 99-117
Efficient Certified Resolution Proof Checking....Pages 118-135
Precise Widening Operators for Proving Termination by Abstract Interpretation....Pages 136-152
Automatic Verification of Finite Precision Implementations of Linear Controllers....Pages 153-169
Front Matter....Pages 171-171
Learning Symbolic Automata....Pages 173-189
ML for ML: Learning Cost Semantics by Experiment....Pages 190-207
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees....Pages 208-226
Front Matter....Pages 227-227
Hierarchical Network Formation Games....Pages 229-246
Synthesis of Recursive ADT Transformations from Reusable Templates....Pages 247-263
Counterexample-Guided Model Synthesis....Pages 264-280
Interpolation-Based GR(1) Assumptions Refinement....Pages 281-297
Front Matter....Pages 299-299
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation....Pages 301-318
Scaling Enumerative Program Synthesis via Divide and Conquer....Pages 319-336
Towards Parallel Boolean Functional Synthesis....Pages 337-353
Encodings of Bounded Synthesis....Pages 354-370
Front Matter....Pages 371-371
HQSpre – An Effective Preprocessor for QBF and DQBF....Pages 373-390
RPP: Automatic Proof of Relational Properties by Self-composition....Pages 391-397
Front Matter....Pages 398-404
Lazy Automata Techniques for WS1S....Pages 405-405
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata....Pages 407-425
Index Appearance Record for Transforming Rabin Automata into Parity Automata....Pages 426-442
Minimization of Visibly Pushdown Automata Using Partial Max-SAT....Pages 443-460
Front Matter....Pages 461-478
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs....Pages 479-479
Fair Termination for Parameterized Probabilistic Concurrent Systems....Pages 481-498
Forward Bisimulations for Nondeterministic Symbolic Finite Automata....Pages 499-517
Up-To Techniques for Weighted Systems....Pages 518-534
Front Matter....Pages 535-552
Rigorous Simulation-Based Analysis of Linear Hybrid Systems....Pages 553-553
HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata....Pages 555-572
Counterexample-Guided Refinement of Template Polyhedra....Pages 573-588
Back Matter....Pages 589-606
....Pages 607-609




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی