登入選單
返回Google圖書搜尋
Synthesis from Specifications
Frank VahidSanjiv NarayanDaniel D. Gajski
其他書名
Basic Concepts
出版Department of Information and Computer Science, University of California, Irvine, 1990
URLhttp://books.google.com.hk/books?id=CnvdHgAACAAJ&hl=&source=gbs_api