1. data.gov.tw
  2. 國立科學工藝博物館館藏圖書書目
  3. 60636938
column value
書名 Algebraic specification techniques and tools for software development
作者 Ingo Claben
版本
出版社 World Scientific