1. data.gov.tw
  2. 國立科學工藝博物館館藏圖書書目
  3. 60637010
column value
書名 Advances in theory and formal methods of computing
作者 A. Edalat， S. Jourdan， G. McCusker
版本
出版社 World Scientific