Principles of Model Checking – Christel Baier, Joost-Pieter Katoen

Christel Baier, Joost-Pieter Katoen, برنامه نویسی / مهندسی و علوم کامپیوتر

کتاب اصول بررسی مدل چریستل بایر

Principles of Model Checking

نویسنده(گان): Christel Baier, Joost-Pieter Katoen

دانلود اصول بررسی مدل Baier و Katoen

مشخصات فایل

فرمتPDF
تعداد صفحات994
حجم فایل زیپ شده4.58 مگابایت

***

International Payment Methods - www.ebookyab.ir

Click Here in Order to Download Files

پست های مرتبط :

  • Solution Manual for Practical Graph Mining with R – Nagiza Samatova, William Hendrix
  • Solution Manual for Introduction to Linear Programming – Leonid Vaserstein
  • Solution Manual for Artificial Intelligence – Stuart Russell, Peter Norvig
  • Solution Manual for Principles of Model Checking – Christel Baier, Joost-Pieter Katoen
  • Solution Manual for Modern Operating Systems – Andrew Tanenbaum, Herbert Bos
  • Digital Design – Morris Mano, Michael Ciletti
  • Solution Manual for Simply C# – Harvey Deitel, Paul Deitel
  • Software Engineering – Ian Sommerville
  • Nonsmooth Mechanics – Bernard Brogliato
  • Solution Manual for Principles of Communications – Rodger Ziemer, William Tranter

    • پست های پیشنهادی توسط برنامه تشخیص داده می شوند و دقیق نمی باشد. برای دسترسی به مطالب دلخواهتان از دسته بندی مطالب استفاده نمایید و یا در سایت جستجو کنید.

      enemad-logo
      پیمایش به بالا