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