دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.) سری: Lecture Notes in Computer Science 6916 ISBN (شابک) : 9783642232824, 3642232825 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 277 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2011: 8th Colloquium بین المللی ، ژوهانسبورگ ، آفریقای جنوبی ، 31 آگوست - 2 سپتامبر 2011. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، تجزیه و تحلیل الگوریتم و پیچیدگی مسئله
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2011: 8th Colloquium بین المللی ، ژوهانسبورگ ، آفریقای جنوبی ، 31 آگوست - 2 سپتامبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بینالمللی جنبههای نظری محاسبات، ICTAC 2011 است که در ژوهانسبورگ، آفریقای جنوبی، در آگوست/سپتامبر 2011 برگزار شد. گفتگوهای اصلی به دقت بررسی و از بین 44 مورد ارسالی انتخاب شدند. این مقالات به جنبههای نظری مختلف و مسائل روششناختی محاسبات میپردازند و در بخشهای موضوعی در گرامر، معناشناسی، مدلسازی، مسیر ویژه در جنبههای رسمی تست نرمافزار و چالش بزرگ در نرمافزار تایید شده، در منطق، و همچنین الگوریتمها و انواع سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 8th
International Colloquium on Theoretical Aspects of Computing,
ICTAC 2011 held in Johannesburg, South Africa, in
August/September 2011.
The 14 revised full papers presented together with the
abstracts of three keynote talks were carefully reviewed and
selected from 44 submissions. The papers address various
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 -
Virtual Time and Timeout in Client-Server Networks....Pages 1-3
The Use of Mathematics in Software Development....Pages 4-5
Infinitely Often Testing....Pages 6-6
Axiomatizing Weak Ready Simulation Semantics over BCCSP....Pages 7-24
Symbolic Worst Case Execution Times....Pages 25-44
Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand....Pages 45-61
On Characterization, Definability and ω -Saturated Models....Pages 62-76
On the Complexity of Szilard Languages of Regulated Grammars....Pages 77-94
Energy Games in Multiweighted Automata....Pages 95-115
Intersection Types for the Resource Control Lambda Calculi....Pages 116-134
Modal Interface Theories for Communication-Safe Component Assemblies....Pages 135-153
WP Semantics and Behavioral Subtyping....Pages 154-172
Computing Preconditions and Postconditions of While Loops....Pages 173-193
A Framework for Instantiating Pedagogic mLearning Objects Applications....Pages 194-217
Emulating Primality with Multiset Representations of Natural Numbers....Pages 218-238
Formal Verification of a Lock-Free Stack with Hazard Pointers....Pages 239-255
Ambiguity of Unary Symmetric Difference NFAs....Pages 256-266
Back Matter....Pages -