新入荷 再入荷

Interactive Theorem Proving and Program Development: Bertot

flash sale icon タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料(
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
新品 7953円 (税込)
数量

商品詳細情報

管理番号 新品 :82204123215
中古 :82204123215-1
メーカー c9cf098eb02 発売日 2025-04-23 09:14 定価 14461円
カテゴリ

Interactive Theorem Proving and Program Development: Bertot

Interactive Theorem Proving and Program Development: BertotInteractive Theorem Proving and Program Development: Bertot,Interactive Theorem Proving and Program Development: Coq'ArtInteractive Theorem Proving and Program Development: Coq'Art,Practical Program Evaluation: Theory-Driven Evaluation andPractical Program Evaluation: Theory-Driven Evaluation and,Interactive Theorem Proving, Lecture 1 - Part I - CourseInteractive Theorem Proving, Lecture 1 - Part I - Course

 

レディースの製品

商品情報の訂正

このページに記載された商品情報に記載漏れや誤りなどお気づきの点がある場合は、下記訂正依頼フォームよりお願い致します。

訂正依頼フォーム

商品レビュー

レビューの投稿にはサインインが必要です