دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
دانلود کتاب از برنامه ها به سیستم. دیدگاه سیستم در محاسبات: کارگاه ETAPS، FPS 2014، به افتخار جوزف سیافیکس، گرنوبل، فرانسه، آوریل 6، 2014. مقالات
مشخصات کتاب
From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
ویرایش: 1 نویسندگان: Saddek Bensalem, Yassine Lakhneck, Axel Legay (eds.) سری: Lecture Notes in Computer Science 8415 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642548475, 9783642548482 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 289 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب از برنامه ها به سیستم. دیدگاه سیستم در محاسبات: کارگاه ETAPS، FPS 2014، به افتخار جوزف سیافیکس، گرنوبل، فرانسه، آوریل 6، 2014. مقالات: منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب از برنامه ها به سیستم. دیدگاه سیستم در محاسبات: کارگاه ETAPS، FPS 2014، به افتخار جوزف سیافیکس، گرنوبل، فرانسه، آوریل 6، 2014. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب از برنامه ها به سیستم. دیدگاه سیستم در محاسبات: کارگاه ETAPS، FPS 2014، به افتخار جوزف سیافیکس، گرنوبل، فرانسه، آوریل 6، 2014. مقالات
کارگاه آموزشی "از برنامه ها تا سیستم ها - دیدگاه سیستم ها در
محاسبات" (FPS 2014) به افتخار پروفسور جوزف سیفاکیس در چارچوب
شانزدهمین کنفرانس مشترک اروپایی نظریه و عمل نرم افزار، ETAPS،
در گرنوبل برگزار شد. , آوریل 2014.
جوزف سیفاکیس یک محقق فعال و بینا در زمینه طراحی سیستم است. او
معتقد است که اعطای مبانی علمی به طراحی حداقل از اهمیتی برابر
با جستجوی حقیقت علمی در علوم طبیعی برخوردار است. او قبلاً روی
شبکه‌های پتری، سیستم‌های همزمان، معناشناسی برنامه، تأیید،
سیستم‌های جاسازی شده، سیستم‌های بلادرنگ و به طور کلی روش‌های
رسمی کار کرده است. این کتاب شامل 18 مقاله است که موضوعات
مختلف مربوط به گسترش تئوری برنامه نویسی به سیستم ها را پوشش
می دهد.
توضیحاتی درمورد کتاب به خارجی
"From Programs to Systems - The Systems Perspective in
Computing" workshop (FPS 2014) was held in honor of Professor
Joseph Sifakis in the framework of the 16th European Joint
Conferences on Theory and Practice of Software, ETAPS, in
Grenoble, April 2014.
Joseph Sifakis is an active and visionary researcher in the
area of system design. He believes that endowing design with
scientific foundations is at least of equal importance as the
quest for scientific truth in natural sciences. Previously,
he has worked on Petri nets, concurrent systems, program
semantics, verification, embedded systems, real-time systems,
and formal methods more generally. The book contains 18
papers covering various topics related to the extension of
programming theory to systems.
فهرست مطالب
Front Matter....Pages -
Model-Driven Information Flow Security for Component-Based Systems....Pages 1-20
Context-Bounded Analysis of TSO Systems....Pages 21-38
A Model of Dynamic Systems....Pages 39-53
From Hierarchical BIP to Petri Calculus....Pages 54-68
Programming and Verifying Component Ensembles....Pages 69-83
Parametric and Quantitative Extensions of Modal Transition Systems....Pages 84-97
Specification Theories for Probabilistic and Real-Time Systems....Pages 98-117
Compositional Branching-Time Measurements....Pages 118-128
Steps towards Scenario-Based Programming with a Natural Language Interface....Pages 129-144
Assembly Theories for Communication-Safe Component Systems....Pages 145-160
Constructive Collisions....Pages 161-176
The Unmet Challenge of Timed Systems....Pages 177-192
Let’s Get Physical: Computer Science Meets Systems....Pages 193-208
What Can be Computed in a Distributed System?....Pages 209-224
Toward a System Design Science....Pages 225-234
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems....Pages 235-248
Feedback in Synchronous Relational Interfaces....Pages 249-266
Reasoning about Network Topologies in Space....Pages 267-277
Back Matter....Pages -
