دانلود کتاب Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
by Gabriele Puppis (auth.)
|
عنوان فارسی: ماشین آلات برای انشعاب و سازه های لایه زمانی: بررسی اجرای قواعد بی نهایت انتقال سیستم |