دانلود کتاب Branching-Time Temporal Logics. Theoretical Issues and a Computer Science Application [PhD Thesis]
by Fabio Mogavero|
|
عنوان فارسی: انشعاب وقت زمانی منطق. مسائل نظری و علوم نرم افزار کامپیوتر [دکترا کتاب] |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟