買取
検索履歴 検索候補

ログアウトしますか？

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

Constructive Logics for Program Correctness and Verification/単行本

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

Constructive Logics for Program Correctness and Verification/単行本

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

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

この商品の詳細

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

この商品の紹介

手続き型言語ｍＰＬと関数型言語ｍＦＬを取り上げ、これらで書かれたプログラムの正しさを検討する。また、構成的論理であるＦＣｓｐとＦＣｚｐだけでなくＰＳ論理についても紹介する。

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

Constructive Logics for Program Correctness and Verification/単行本

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

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

Constructive Logics for Program Correctness and Verification/単行本

1,150 円(税込)

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

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

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

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

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

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

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

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

すべてのタグを見る

おすすめの特集から探す

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

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

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

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

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

現在の送料：

あとで送料無料！

カートに進む

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

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

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

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

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