دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
دانلود کتاب جنبه های نظری محاسبات - ICTAC 2010: هفتمین کنفرانس بین المللی، ناتال، ریو گراند دو نورته، برزیل، 1-3 سپتامبر 2010. مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.) سری: Lecture Notes in Computer Science 6255 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642148077, 9783642148071 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 407 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2010: هفتمین کنفرانس بین المللی، ناتال، ریو گراند دو نورته، برزیل، 1-3 سپتامبر 2010. مجموعه مقالات: محاسبات توسط دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2010: هفتمین کنفرانس بین المللی، ناتال، ریو گراند دو نورته، برزیل، 1-3 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری محاسبات - ICTAC 2010: هفتمین کنفرانس بین المللی، ناتال، ریو گراند دو نورته، برزیل، 1-3 سپتامبر 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2010 است که در ناتال، برزیل، در سپتامبر 2010 برگزار شد. انتخاب از 68 ارسالی این مقالات به تمام جنبه‌های نظری و مسائل روش‌شناختی محاسبات می‌پردازند و در بخش‌های موضوعی گرامر، معناشناسی، مدل‌سازی، مسیر ویژه در جنبه‌های رسمی تست نرم‌افزار و چالش بزرگ در نرم‌افزار تایید شده، در منطق، و همچنین الگوریتم‌ها و انواع سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.
فهرست مطالب
Front Matter....Pages -
Invariants and Well-Foundedness in Program Algebra....Pages 1-14
A Theory of Software Product Line Refinement....Pages 15-43
The TLA + Proof System: Building a Heterogeneous Verification Platform....Pages 44-44
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules....Pages 45-59
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution....Pages 60-75
Tracking Down the Origins of Ambiguity in Context-Free Grammars....Pages 76-90
Prioritized slotted-Circus ....Pages 91-105
A Denotational Semantical Model for Orc Language....Pages 106-120
An Extended cCSP with Stable Failures Semantics....Pages 121-136
Preference and Non-deterministic Choice....Pages 137-152
Material Flow Abstraction of Manufacturing Systems....Pages 153-167
Specification and Verification of a MPI Implementation for a MP-SoC....Pages 168-183
Testing of Abstract Components....Pages 184-198
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform....Pages 199-213
Analyzing a Formal Specification of Mondex Using Model Checking....Pages 214-229
Formal Modelling of Separation Kernel Components....Pages 230-244
Mechanized Verification with Sharing....Pages 245-259
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking....Pages 260-274
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements....Pages 275-289
Complete Calculi for Structured Specifications in Fork Algebra....Pages 290-305
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting....Pages 306-321
Characterizing Locality (Encapsulation) with Bisimulation....Pages 322-336
Justification Logic and History Based Computation....Pages 337-351
A Class of Greedy Algorithms and Its Relation to Greedoids....Pages 352-366
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types....Pages 367-381
A Modality for Safe Resource Sharing and Code Reentrancy....Pages 382-396
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Co-oP: A Group Decision Support System for Cooperative Multiple Criteria Group Decision Making
دانلود کتاب Foundation ActionScript for Flash 8
دانلود کتاب Algorithms and Models for the Web-Graph: 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings
دانلود کتاب BlackBerry For Dummies, 2nd Edition (For Dummies (Computer Tech))
دانلود کتاب The Complexity of Boolean Functions (Wiley-Teubner series in computer science)
دانلود کتاب The Psychology Of Computer Programming
دانلود کتاب Computer Active 2016-12-07
دانلود کتاب Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)
دانلود کتاب MCSE/MCSA Implementing and Administering Security in a Windows 2000 Network: Study Guide and DVD Training System (Exam 70-214)
