حل المسائل کتاب اصول بررسی مدل چریستل بایر
Solution Manual for Principles of Model Checking
نویسنده(گان): Christel Baier, Joost-Pieter Katoen
این حل المسائل به صورت رسمی از انتشارات تهیه شده است و فصلهای 2 الی 10 را پوشش می دهد. این حل المسائل تنها پاسخ مسایل منتخب را دارد و کامل نمی باشد.
دانلود نمونه رایگان
مشخصات فایل
فرمت | |
تعداد صفحات | 106 |
حجم فایل زیپ شده | 823 کیلوبایت |
***