Concrete Semantics : With Isabelle/HOL
  • 洋書

Concrete Semantics : With Isabelle/HOL  Paperback,  言語:ENG

Nipkow, Tobias/ Klein, Gerwin

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • 海外取次在庫
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Klein, Gerwin (EDT)/ Gamboa, Ruben (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 104pt
  • 海外取次在庫