Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7086) (2011. XV, 396 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7086) (2011. XV, 396 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Jouannaud, Jean-Pierre/ Shao, Zhong

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫