Hardcover Book

iMusicに在庫あり

在庫なし商品を表示

Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)のリリース

Cover for Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands) · Type Theory and Formal Proof: An Introduction (Hardcover Book) (2014)

Type Theory and Formal Proof: An... (2014)

Nederpelt, Rob (Technische Unive...