登入選單
Google圖書搜尋
ISBN : 3540316833總數: gridview
Logic Based Program Synthesis and Transformation
作者
Sandro Etalle
出版Springer, 2005-06-13
ISBN
9783540316831 / 3540316833
主題
Computers