Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
価格: ¥21,833 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]
High Performance Computing: ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers (Lecture Notes ... Science Book 11887) (English Edition)