楽天ブックスでシンプルに目的の本を探す。Constructive theory for programs and the (伊藤貴康)の本を買う。
Constructive theory for programs and the
contributions to Hoare’s
価格:
¥1466
著者:
伊藤貴康
出版社:
三恵社
発行年月:
2011年11月
ISBN:
9784883619214
種類:
在庫状況:
お取り寄せ
商品画像
Copyright (C) 2014
Harumeki-Web
All Rights Reserved.