Types for Proofs and Programs : International Workshop, TYPES 2004, France, December, 2004, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 3839〉
  • 洋書

Types for Proofs and Programs : International Workshop, TYPES 2004, France, December, 2004, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 3839〉  Paperback,  言語:ENG

Filliatre, Jean-Christophe (EDT)/ Paulin-Mohring, Christine (et al., EDT)

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