買取
検索履歴 検索候補

ログアウトしますか？

  1. ネットオフTOP
  2. 古本・中古本
  3. 女性・生活・コンピュータ
  4. Constructive Logics for Program Correctness/単行本
古本・中古本 送料無料

Constructive Logics for Program Correctness/単行本

作家 ： 伊藤貴康
プレミアム会員とは
クーポン
お得！10点以上まとめ買いで5％OFFクーポン！！
LINE
友だち追加で100円引き
値下げしたらメールでお知らせ！

Constructive Logics for Program Correctness/単行本

今お申し込みで100円買取中！

この商品の買取価格を調べる

買取金額50%UP
＋お買物クーポン500円分プレゼント！

ネットオフで使えるクーポン
買取を申し込む
クーポン
お得！10点以上まとめ買いで5％OFFクーポン！！
LINE
友だち追加で100円引き

この商品の詳細

出版社
〔丸善プラネット〕
出版社シリーズ
ISBN
4863451469
サイズ
単行本
発売年月日
2012年01月01日

この商品の紹介

プログラムの正当性は、プログラムに関する理論だけでなく、コンピューター・ソフトウェアに関する理論および実践においても基本かつ重要な概念のうちの１つである。プログラムの正当性のための構成的論理について解説する。

値下げしたらメールでお知らせ！

Constructive Logics for Program Correctness/単行本

今お申し込みで
100円買取中！

この商品の買取価格を調べる >

買取金額50%UP
＋お買物クーポン500円分
プレゼント！

ネットオフで使えるクーポン
買取を申し込む

Constructive Logics for Program Correctness/単行本

1,990 円(税込)

この商品と同年代のコンピューター・インターネットのおすすめ もっと見る

週間売れ筋ランキング（コンピューター・インターネット） もっと見る

この商品を見た人におすすめ もっと見る

  • 作品がありません
    他の条件で探してみましょう！

人気タグからおすすめ商品を探す

新着タグからおすすめ商品を探す

好きな商品の関連商品を探す

お好きな商品を含むタグの一覧を表示します

すべてのタグを見る

おすすめの特集から探す

商品が入荷したらメールでお知らせ

取り置きではありませんので、
すぐに売り切れになる場合もございます。

以下の商品をカートに入れました

Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｌｏｇｉｃｓ　ｆｏｒ　Ｐｒｏｇｒａｍ　Ｃｏｒｒｅｃｔｎｅｓｓ

古本・中古本／女性・生活・コンピュータ／伊藤貴康

現在の送料：

あとで送料無料！

カートに進む

この商品を買った人はこちらも

商品を入荷メールに登録しました。

商品をお気に入りに登録しました。

この商品を買った人はこちらも

商品をお気に入りから登録解除しました。