ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

دانلود کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: شانزدهمین کنفرانس بین المللی ، TACAS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20-28 مارس ، 2010. مجموعه مقالات

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

مشخصات کتاب

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 6015 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3642120016, 9783642120015 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 481 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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



کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: شانزدهمین کنفرانس بین المللی ، TACAS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20-28 مارس ، 2010. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی



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

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


در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: شانزدهمین کنفرانس بین المللی ، TACAS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20-28 مارس ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: شانزدهمین کنفرانس بین المللی ، TACAS 2010 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2010 ، پافوس ، قبرس ، 20-28 مارس ، 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2010، در پافوس، قبرس، در مارس 2010، به عنوان بخشی از ETAPS 2010، کنفرانس‌های مشترک اروپایی در نظریه و عمل است. از نرم افزار 35 مقاله ارائه شده با دقت بررسی و از بین 134 مقاله ارسالی انتخاب شدند. موضوعات تحت پوشش عبارتند از: سیستم های احتمالی و بهینه سازی، روش های تصمیم گیری، ابزارها، تئوری خودکار، زنده بودن، تأیید نرم افزار، زمان واقعی و جریان اطلاعات و آزمایش.


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

This book constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 35 papers presented were carefully reviewed and selected from 134 submissions. The topics covered are probabilistic systems and optimization, decision procedures, tools, automata theory, liveness, software verification, real time and information flow, and testing.



فهرست مطالب

Front Matter....Pages -
Embedded Systems Design — Scientific Challenges and Work Directions....Pages 1-1
Antichain Algorithms for Finite Automata....Pages 2-22
Assume-Guarantee Verification for Probabilistic Systems....Pages 23-37
Simple O ( m log n ) Time Markov Chain Lumping....Pages 38-52
Model Checking Interactive Markov Chains....Pages 53-68
Approximating the Pareto Front of Multi-criteria Optimization Problems....Pages 69-83
An Alternative to SAT-Based Approaches for Bit-Vectors....Pages 84-98
Satisfiability Modulo the Theory of Costs: Foundations and Applications....Pages 99-113
Optimal Tableau Algorithms for Coalgebraic Logics....Pages 114-128
Blocked Clause Elimination....Pages 129-144
 Boom : Taking Boolean Program Model Checking One Step Further....Pages 145-149
The OpenSMT Solver....Pages 150-153
 Stranger : An Automata-Based String Analysis Tool for PHP....Pages 154-157
When Simulation Meets Antichains....Pages 158-174
On Weak Modal Compatibility, Refinement, and the MIO Workbench....Pages 175-189
Rational Synthesis....Pages 190-204
Efficient Büchi Universality Checking....Pages 205-220
Automated Termination Analysis for Programs with Second-Order Recursion....Pages 221-235
Ranking Function Synthesis for Bit-Vector Relations....Pages 236-250
Fairness for Dynamic Control....Pages 251-265
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution....Pages 266-270
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems....Pages 271-274
Tracking Heaps That Hop with Heap-Hop....Pages 275-279
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors....Pages 280-295
Simplifying Linearizability Proofs with Reduction and Abstraction....Pages 296-311
A Polymorphic Intermediate Verification Language: Design and Logical Encoding....Pages 312-327
Trace-Based Symbolic Analysis for Atomicity Violations....Pages 328-342
ACS: Automatic Converter Synthesis for SoC Bus Protocols....Pages 343-348
AlPiNA: An Algebraic Petri Net Analyzer....Pages 349-352
 PASS : Abstraction Refinement for Infinite Probabilistic Models....Pages 353-357
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions....Pages 358-372
Computing the Leakage of Information-Hiding Systems....Pages 373-389
Statistical Measurement of Information Leakage....Pages 390-404
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata....Pages 405-419
Preemption Sealing for Efficient Concurrency Testing....Pages 420-434
Code Mutation in Verification and Automatic Code Correction....Pages 435-450
Efficient Detection of Errors in Java Components Using Random Environment and Restarts....Pages 451-465
Back Matter....Pages -




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

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