登入選單

返回Google圖書搜尋

Coalgebraic Logic and Synthesis of Mealy Machines

Marcello M. BonsangueJ. J. M. M. RuttenAlexandra M. Silva

出版	Centrum voor Wiskunde en Informatica, 2007
URL	http://books.google.com.hk/books?id=nBw7NAAACAAJ&hl=&source=gbs_api