دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
دانلود کتاب جنبه های نظری محاسبات - ICTAC 2016: سیزدهمین گفتگوی بین المللی ، تایپه ، تایوان ، ROC ، 24 تا 31 اکتبر 2016 ، مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
ویرایش: 1
نویسندگان: Augusto Sampaio. Farn Wang (eds.)
سری: Lecture Notes in Computer Science 9965
ISBN (شابک) : 9783319467504, 9783319467498
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 483
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2016: سیزدهمین گفتگوی بین المللی ، تایپه ، تایوان ، ROC ، 24 تا 31 اکتبر 2016 ، مجموعه مقالات: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2016: سیزدهمین گفتگوی بین المللی ، تایپه ، تایوان ، ROC ، 24 تا 31 اکتبر 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری محاسبات - ICTAC 2016: سیزدهمین گفتگوی بین المللی ، تایپه ، تایوان ، ROC ، 24 تا 31 اکتبر 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2016، در تایپه، تایوان، در اکتبر 2016 است.
23 مقاله کامل اصلاح‌شده با هم ارائه شده‌اند. با دو مقاله کوتاه، دو مقاله دعوت شده و یک چکیده از یک مقاله دعوت شده به دقت بررسی و از بین 60 مقاله ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد تأیید برنامه سازماندهی شده اند. طراحی، سنتز و آزمایش؛ محاسبات مشخصات فنی؛ ترکیب و تبدیل؛ خودکار؛ منطق های زمانی; ابزار و کاغذهای کوتاه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.
The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
فهرست مطالب
Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Verification of Concurrent Programs on Weak Memory Models....Pages 3-24
Petri Nets and Semilinear Sets (Extended Abstract)....Pages 25-29
Front Matter....Pages 31-31
Termination of Single-Path Polynomial Loop Programs....Pages 33-50
Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm....Pages 51-68
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms....Pages 69-81
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs....Pages 82-99
Front Matter....Pages 101-101
Synthesis of Petri Nets with Whole-Place Operations and Localities....Pages 103-120
Schedulers and Finishers: On Generating the Behaviours of an Event Structure....Pages 121-138
On the Expressiveness of Symmetric Communication....Pages 139-157
Towards MC/DC Coverage of Properties Specification Patterns....Pages 158-175
Front Matter....Pages 177-177
Soundly Proving B Method Formulæ Using Typed Sequent Calculus....Pages 179-195
Deriving Inverse Operators for Modal Logic....Pages 196-213
Front Matter....Pages 214-232
Specifying Properties of Dynamic Architectures Using Configuration Traces....Pages 233-233
Behavioural Models for FMI Co-simulations....Pages 235-254
An Abstract Model for Proving Safety of Autonomous Urban Traffic....Pages 255-273
Front Matter....Pages 274-292
Unifying Heterogeneous State-Spaces with Lenses....Pages 293-293
Ensuring Correctness of Model Transformations While Remaining Decidable....Pages 295-314
ProofScript: Proof Scripting for the Masses....Pages 315-332
Front Matter....Pages 333-348
Derived-Term Automata for Extended Weighted Rational Expressions....Pages 349-349
Front Matter....Pages 351-369
Weighted Register Automata and Weighted Logic on Data Words....Pages 349-349
Hybrid Automata as Coalgebras....Pages 370-384
Front Matter....Pages 385-402
Temporal Logic Verification for Delay Differential Equations....Pages 403-403
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems....Pages 405-421
Propositional Dynamic Logic for Petri Nets with Iteration....Pages 422-440
Front Matter....Pages 441-456
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti....Pages 457-457
Parametric Deadlock-Freeness Checking Timed Automata....Pages 459-468
Back Matter....Pages 469-478
....Pages 479-479
