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発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Blanchette, Jasmin Christian (EDT)/ Kosmatov, Nikolai (EDT)

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