1～1件／全1件 セーフサーチON
  •  
Types for Proofs and Programs, TYPES 2003 : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3085) （2004. X, 409 p. 23,5 cm）
  • 洋書

Types for Proofs and Programs, TYPES 2003 : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers (Lecture Notes in Computer Science Vol.3085) （2004. X, 409 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Stefano Berardi, Mario Coppo and Ferruccio Damiani

  • ウェブストア価格 ¥12,850（本体¥11,682）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 116pt
  • 海外取次在庫
1～1件／全1件
  •