Sale
روشهای صوری در علوم کامپیوتر ۲۰۱۹
Formal Methods in Computer Science 2019
دانلود کتاب روشهای صوری در علوم کامپیوتر ۲۰۱۹ (Formal Methods in Computer Science 2019) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی
| نویسنده |
Jiacun Wang |
|---|
ناشر:
CRC Press
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2019 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
350 |
| نوع فایل |
|
| حجم |
66.0 MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب روشهای صوری در علوم کامپیوتر ۲۰۱۹
این کتاب درسی، مقدمهای جامع بر روشهای صوری و کاربرد آنها در تعیین مشخصات و اعتبارسنجی نرمافزار و سختافزار را به دانشجویان ارائه میدهد. کتاب از سه بخش تشکیل شده است: بخش اول به معرفی مبانی روشهای صوری، از جمله نظریه مجموعهها، توابع، ماشینهای حالت محدود و عبارات با قاعده میپردازد. بخش دوم بر منطق متمرکز است.
فهرست کتاب:
۱. روی جلد
۲. صفحه عنوان فرعی
۳. صفحه عنوان
۴. صفحه حق چاپ
۵. فهرست مطالب
۶. پیشگفتار
۷. تقدیر و تشکر
۸. نویسندگان
۱. نظریه مجموعه ها و توابع
۲. ماشین حالت متناهی
۳. عبارات و زبان های منظم
۴. منطق گزاره ای
۵. منطق محمول
۶. منطق زمانی
۷. تصدیق صوری با بررسی مدل
۸. شبکه های پتری
۹. شبکه های پتری زمان دار
۱۰. شبکه های پتری رنگی
۱۹. فهرست نمایه
توضیحات(انگلیسی)
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
Table of Contents
1. Cover
2. Half Title
3. Title Page
4. Copyright Page
5. Table of Contents
6. Preface
7. Acknowledgments
8. Authors
1. Set Theory and Functions
2. Finite State Machine
3. Regular Expressions and Languages
4. Propositional Logic
5. Predicate Logic
6. Temporal Logic
7. Formal Verification by Model Checking
8. Petri Nets
9. Timed Petri Nets
10. Colored Petri Nets
19. Index
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
