دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
دانلود کتاب مدل سازی رسمی: بازیگران ، سیستم های باز ، سیستم های بیولوژیکی: مقالاتی که به مناسبت هفتادمین سالگرد تولدش به کارولین تالکت اختصاص داده شده
مشخصات کتاب
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
ویرایش: 1 نویسندگان: Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.) سری: Lecture Notes in Computer Science 7000 ISBN (شابک) : 3642249329, 3642249337 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 465 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب مدل سازی رسمی: بازیگران ، سیستم های باز ، سیستم های بیولوژیکی: مقالاتی که به مناسبت هفتادمین سالگرد تولدش به کارولین تالکت اختصاص داده شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی رسمی: بازیگران ، سیستم های باز ، سیستم های بیولوژیکی: مقالاتی که به مناسبت هفتادمین سالگرد تولدش به کارولین تالکت اختصاص داده شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی رسمی: بازیگران ، سیستم های باز ، سیستم های بیولوژیکی: مقالاتی که به مناسبت هفتادمین سالگرد تولدش به کارولین تالکت اختصاص داده شده
Server Error
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Carolyn
Talcott on the occasion of her 70th birthday, contains a
collection of papers presented at a symposium held in Menlo
Park, California, USA, in November 2011.
Carolyn Talcott is a leading researcher and mentor of
international renown among computer scientists. She has made
key contributions to a number of areas of computer science
including: semantics and verification of progamming
languages; foundations of actor-based systems; middleware,
meta-architectures, and systems; Maude and rewriting logic;
and computational biology.
The 21 papers presented are organized in topical sections
named: Essays on Carolyn Talcott; actors and programming
languages; cyberphysical systems; middleware and
meta-architectures; formal methods and reasoning tools; and
computational biology.
فهرست مطالب
Front Matter....Pages -
Two PhD Students for the Price of One....Pages 1-3
Honoring Carolyn Talcott’s Contributions to Science....Pages 4-19
Ten Years of Analyzing Actors: Rebeca Experience....Pages 20-56
Mathematical Models of Object-Based Distributed Systems....Pages 57-73
From Explicit to Symbolic Types for Communication Protocols in CCS....Pages 74-89
Abstract LR-Parsing....Pages 90-109
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision....Pages 110-143
Model Feasible Interactions in Distributed Real-Time Systems....Pages 144-168
Puff, The Magic Protocol....Pages 169-206
A Formal Methodology for Compositional Cross-Layer Optimization....Pages 207-222
From Service Identification to Service Selection: An Interleaved Perspective....Pages 223-240
Towards a System Model for Ensembles....Pages 241-261
Algorithmic Aspects of Risk Management....Pages 262-276
Parameterized Metareasoning in Membership Equational Logic....Pages 277-298
Fast Sort Computations for Order-Sorted Matching and Unification....Pages 299-314
Solving the First Verified Software Competition Problems Using PVS....Pages 315-328
Towards a Maude Formal Environment....Pages 329-351
Multisimulations: Towards Next Generation Integrated Simulation Environments....Pages 352-367
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude....Pages 368-402
Computational Biology: A Programming Perspective....Pages 403-433
Applications of Pathway Logic Modeling to Target Identification....Pages 434-445
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Grandmaster At Work
دانلود کتاب Enacting a Pedagogy of Teacher Education: Values, Relationships and Practices
