ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

دانلود کتاب مدل ها ، ذهنیت ها ، متا: چه ، چگونه و چرا نیست؟

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

مشخصات کتاب

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

ویرایش: 1st ed. 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 11200 
ISBN (شابک) : 9783030223472 
ناشر: Springer International Publishing 
سال نشر: 2019 
تعداد صفحات: 435 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 20 مگابایت

قیمت کتاب (تومان) : 34,000



کلمات کلیدی مربوط به کتاب مدل ها ، ذهنیت ها ، متا: چه ، چگونه و چرا نیست؟: علوم کامپیوتر، مدل‌ها و اصول، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، منطق‌ها و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی، تحلیل الگوریتم و پیچیدگی مسائل



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 6


در صورت تبدیل فایل کتاب Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مدل ها ، ذهنیت ها ، متا: چه ، چگونه و چرا نیست؟ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مدل ها ، ذهنیت ها ، متا: چه ، چگونه و چرا نیست؟



این جلد Festschrift به افتخار برنهارد استفن، استاد دانشگاه فنی دورتموند، به مناسبت شصتمین سالگرد تولد او منتشر شده است. چشم انداز او و همچنین کار نظری و عملی او توسعه و اجرای الگوریتم های جدید، خاص و ایجاد روابط بین جوامع با تأثیر برای دستیابی به راه حل های ساده تر و در عین حال قدرتمندتر را در بر می گیرد. او بسیاری از خطوط تحقیقاتی جدید را از طریق مقالات اساسی آغاز کرد که در زمینه‌های مختلف پیشگام بودند، که با Concurrency Workbench شروع شد، جعبه ابزار بررسی مدلی که به طور قابل توجهی بر تحقیق و توسعه سیستم‌های اطمینان بالا مبتنی بر حالت در سراسر جهان تأثیر گذاشت. مشارکت‌های این جلد، گستردگی و تأثیر کار او را نشان می‌دهد. مقاله مقدماتی توسط ویراستاران جلد، 23 مقاله کامل و دو بیانیه شخصی به تحقیقات و زندگی برنهارد مربوط می شود. این جلد، گفتگوها و کل B-Day در ISoLA 2018 ادای احترامی است به 30 سال اول اشتیاق، تأثیر و دیدگاه برنهارد برای بسیاری از جنبه های علوم کامپیوتر به طور کلی و برای روش های رسمی به طور خاص. تأثیر و چشم‌انداز شامل نقش‌های بسیاری است که توسعه نرم‌افزاری با پشتیبانی از روش‌های رسمی باید در آموزش، صنعت و جامعه ایفا کند.


توضیحاتی درمورد کتاب به خارجی

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various fields, starting with the Concurrency Workbench, a model checking toolbox that significantly influenced the research and development of mode based high assurance systems worldwide. The contributions in this volume reflect the breadth and impact of his work. The introductory paper by the volume editors, the 23 full papers and two personal statements relate to Bernhard’s research and life. This volume, the talks and the entire B-Day at ISoLA 2018 are a tribute to the first 30 years of Bernhard’s passion, impact and vision for many facets of computer science in general and for formal methods in particular. Impact and vision include the many roles that formal methods-supported software development should play in education, in industry and in society. 




فهرست مطالب

Front Matter ....Pages i-xv
Front Matter ....Pages 1-1
 Models, Mindsets, Meta: The What, the How, and the Why Not?  (Tiziana Margaria, Susanne Graf, Kim G. Larsen)....Pages 3-13
Front Matter ....Pages 15-15
 Applying Decision Graphs in the Context of Automated Driving  (Hardi Hungar)....Pages 17-23
Front Matter ....Pages 25-25
 Analyzing Spreadsheets for Parallel Execution via Model Checking  (Thomas Bøgholm, Kim G. Larsen, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen)....Pages 27-35
 System Analysis and Robustness  (Eugenio Moggi, Amin Farjudian, Walid Taha)....Pages 36-44
 Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading  (Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha Roop, Reinhard von Hanxleden)....Pages 45-67
 Intersection Types in Java: Back to the Future  (Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri)....Pages 68-86
Front Matter ....Pages 87-87
 Multi-valued Logic for Static Analysis and Model Checking  (Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang)....Pages 89-109
 States and Events in KandISTI  (Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti)....Pages 110-128
 Making Sense of Complex Applications: Constructive Design, Features, and Questions  (Tiziana Margaria)....Pages 129-148
Front Matter ....Pages 149-149
 Interface Automata for Shared Memory  (Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler)....Pages 151-166
Front Matter ....Pages 167-167
 Boolean Algebras by Length Recognizability  (Didier Caucal, Chloé Rispal)....Pages 169-185
 Reflections on Bernhard Steffen’s Physics of Software Tools  (Hubert Garavel, Radu Mateescu)....Pages 186-207
 Toward Structured Parallel Programming: Send-Receive Considered Harmful  (Sergei Gorlatch)....Pages 208-217
 Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability  (Doron Peled, Klaus Havelund)....Pages 218-234
 Future Security: Processes or Properties?—Research Directions in Cybersecurity  (Ulrike Lechner)....Pages 235-246
Front Matter ....Pages 247-247
 Statistical Prediction of Failures in Aircraft Collision Avoidance Systems  (Yuning He, Dimitra Giannakopoulou, Johann Schumann)....Pages 249-267
 The ASSL Approach to Formal Specification of Self-managing Systems  (Emil Vassev, Mike Hinchey)....Pages 268-296
 The Merits of Compositional Abstraction: A Case Study in Propositional Logic  (Michael Huth)....Pages 297-309
 JConstraints: A Library for Working with Logic Expressions in Java  (Falk Howar, Fadi Jabbour, Malte Mues)....Pages 310-325
 On the Expressiveness of Joining and Splitting  (Thomas Given-Wilson, Axel Legay)....Pages 326-355
 Fast Verified BCD Subtyping  (Jan Bessai, Jakob Rehof, Boris Düdder)....Pages 356-371
 Composition: A Fresh Look at an Old Topic  (Wolfgang Reisig)....Pages 372-389
 Benchmarks for Automata Learning and Conformance Testing  (Daniel Neider, Rick Smetsers, Frits Vaandrager, Harco Kuppens)....Pages 390-416
 Synchronous or Alternating?  (Jaco van de Pol, Jeroen Meijer)....Pages 417-430
Back Matter ....Pages 431-431




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی