Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot,Yves; Cast?ran,Pierre 【最短翌日到着】 【中古】 鹿児島大学(理系) 2013/教学社 正午12時まで(日曜日は午前9時まで)の注文は当日発送(土日祝も発送)。本州・九州・四国地方(北海道・沖縄県以外)は翌日お届け、北海道・沖縄県は翌々日にお届けします。 【中古】 比較で読みとくスラヴ語のしくみ/白水社/三谷恵子
赤本まとめ売り ■商品名■ GMAT Foundations of Math: 900+ Practice Problems in Book and Online (Manhattan Prep GMAT Strategy Guides) [ペーパーバック] Manhattan Prep 鉄緑会大阪校新中3数学Bテキスト通年セット/各種テスト付2021計3冊☆ Grounded Theory [ペーパーバック] Birks,Melanie