買取
検索履歴 検索候補

ログアウトしますか？

  1. ネットオフTOP
  2. 古本・中古本
  3. 女性・生活・コンピュータ
  4. Constructive Theory for Programs and Their Correctness/単行本
古本・中古本 メール便対象

Constructive Theory for Programs and Their Correctness/単行本

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

Constructive Theory for Programs and Their Correctness/単行本

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

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

この商品の詳細

出版社
〔三恵社〕
出版社シリーズ
ISBN
4883619214
サイズ
単行本
発売年月日
2011年11月01日

この商品の紹介

プログラムの強正当性のための構成的論理と構成的意味論についての研究書。実行が停止しないプログラムであるＳｔｒｅａｍ　Ｐｒｏｇｒａｍの強正当性を論じる方法も紹介する。

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

Constructive Theory for Programs and Their Correctness/単行本

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

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

Constructive Theory for Programs and Their Correctness/単行本

800 円(税込)

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

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

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

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

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

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

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

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

すべてのタグを見る

おすすめの特集から探す

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

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

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

Ｃｏｎｓｔｒｕｃｔｉｖｅ　Ｔｈｅｏｒｙ　ｆｏｒ　Ｐｒｏｇｒａｍｓ　ａｎｄ　Ｔｈｅｉｒ　Ｃｏｒｒｅｃｔｎｅｓｓ

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

現在の送料：

あとで送料無料！

カートに進む

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

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

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

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

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