دانلود کتاب Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays (به فارسی: روش‌های رسمی و سیستم‌های ترکیبی بی‌درنگ: مقاله‌هایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان) نوشته شده توسط «Nikolaj Bjørner (auth.) – Cliff B. Jones – Zhiming Liu – Jim Woodcock (eds.)»
اطلاعات کتاب روش‌های رسمی و سیستم‌های ترکیبی بی‌درنگ: مقاله‌هایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان
موضوع اصلی: کامپیوتر – برنامه نویسی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Nikolaj Bjørner (auth.) – Cliff B. Jones – Zhiming Liu – Jim Woodcock (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 542 / 557
حجم فایل: 6.60 مگابایت
کد کتاب: 354075220X , 9783540752202
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی و سیستم‌های ترکیبی بی‌درنگ: مقاله‌هایی به افتخار داین بیورنر و چائوچن ژو به مناسبت هفتادمین سالگرد تولدشان
این مجلد Festschrift برای گرامیداشت هر دوی Dines Bjørner و Zhou Chaochen به مناسبت هفتادمین سالگرد تولد آنها در اکتبر و نوامبر 2007 منتشر شده است. این جلد شامل 25 مقاله داوری شده توسط محققان برجسته، همکاران فعلی و سابق است که در یک سمپوزیوم جشن گرد هم آمده اند. در ماکائو، چین، در دوره کنفرانس بین‌المللی جنبه‌های نظری محاسبات، ICTAC 2007 برگزار شد.
این مقالات طیف گسترده‌ای از موضوعات، از مباحث بنیادی و نظری گرفته تا مسائل الگوریتم‌ها و سیستم‌ها و تا برنامه‌های کاربردی، شامل روش‌های رسمی، مدل‌سازی سیستم‌ها، سیستم‌های ترکیبی و بلادرنگ، مشخصات و تأیید، و همچنین منطق زمانی بازه‌ای است.
Dines Bjørner به‌خاطر مشارکت‌های فراوانش در تئوری و عمل روش‌های رسمی شناخته شده است. برای مهندسی نرم افزار با تمرکز ویژه بر انتزاع و مدل سازی، مشخصات سیستم ها و زبان ها، و حوزه ها، نیازمندی ها و طراحی نرم افزار.
Zhou Chaochen به‌خاطر مشارکت‌های مهم خود در تئوری و عمل سیستم‌های زمان‌دار و ترکیبی شناخته شده است.
This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007.
The papers cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.
Dines Bjørner is known for his many contributions to the theory and practice of formal methods for software engineering with special focus on abstraction and modelling, specification of systems and languages, and domains, requirements, and software design.
Zhou Chaochen is known for his seminal contributions to the theory and practice of timed and hybrid systems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.