期間限定特別価格 Texts Interactive Eatcs: an Science. Computer Theoretical in 語学+参考書
Texts in Theoretical Computer Science. an Eatcs: Interactive,Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Coq'Art,Free Theory of Computation textbook,Technical Calculus with Analytic Geometry – Dover Publications