Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書
  • ポイントキャンペーン

Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Merz, Stephan (EDT)/ Pang, Jun (EDT)

  • Springer International Publishing AG(2014/09発売)
  • ご注文いただけません
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Blanchette, Jasmin Christian (EDT)/ Merz, Stephan (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。