登入選單
Google圖書搜尋
Games for the Μ-calculus
作者
Damian Niwiński
出版1994
ISBN
OCLC:1423853797
Reachability Problems
作者
Igor Potapov
出版Springer Science & Business Media, 2009-09-07
ISBN
9783642044199 / 3642044190
主題
Computers
Mathematical Foundations of Computer Science 1997
作者
Igor Privara
出版Springer Science & Business Media, 1997-08-13
ISBN
3540634371 / 9783540634379
主題
Computers