登入選單
Google圖書搜尋
ISBN : 9780387281834總數: gridview
Adapting Proofs-as-Programs
作者
Iman Poernomo / John N. Crossley / Martin Wirsing
出版Springer Science & Business Media, 2007-04-27
ISBN
9780387281834 / 0387281835
主題
Computers