Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series)

価格： ￥8,316

カテゴリ： ハードカバー

ブランド： Springer

Amazon.co.jpで確認