登入選單
Google圖書搜尋
Graph Structure and Monadic Second-Order Logic
作者
Bruno Courcelle / Joost Engelfriet
出版Cambridge University Press, 2012-06-14
ISBN
9781139644006 / 1139644009
主題
Mathematics
Principles of Model Checking
作者
Christel Baier / Joost-Pieter Katoen
出版MIT Press, 2008-04-25
ISBN
9780262304030 / 0262304031
主題
Computers
Simple Program Schemes and Formal Languages
作者
Joost Engelfriet
出版Springer, 1974
ISBN
UOM:39015000487804
主題
Computers