登入選單

返回Google圖書搜尋

COCOLOG: a Conditional Observer and Controller Logic for Finite Machines

Peter E. CainesInstitut national de recherche en informatique et en automatique (France)S. Wang

出版	Institut national de recherche en informatique et en automatique, 1992
URL	http://books.google.com.hk/books?id=o98EHQAACAAJ&hl=&source=gbs_api