q=%28%E6%B3%95%29%E7%BA%A6%E7%91%9F%E5%A4%AB%C2%B7%E5%B8%8C%E5%8F%91%E5%9F%BA%E6%80%9D%28Joseph+Sifakis%29%E8%91%97&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
(法)约瑟夫·希发基思(Joseph Sifakis)著