24時間限定タイムセール Interactive Theorem Proving and Program Development: Bertot 洋書
Interactive Theorem Proving and Program Development: Bertot,Interactive Theorem Proving and Program Development: Coq'Art,GitHub - rocq-community/coq-art: Coq code and exercises from,Developmental Evaluation Exemplars: Principles in Practice,Program Evaluation Theory and Practice: Second Edition: A 小口に汚れ有「中古」Finite Temperature Field Theory/ジョゼフ・I・カプスタ 洋書箱(2) 富山県産 令和4年度コシヒカリ 30kg