Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7305) (2012. 2012. X, 177 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7305) (2012. 2012. X, 177 S. 235 mm)  Paperback

Herausgegeben von Brucker, Achim/ Julliand, Jacques

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 254pt
  • 海外取次在庫
COURS ET EXERCICES CORRIGES D'ALGORITHMIQUE (LMD MATHS)
  • 洋書
  • ポイントキャンペーン

COURS ET EXERCICES CORRIGES D'ALGORITHMIQUE (LMD MATHS)

JULLIAND JACQUES

  • ウェブストア価格 ¥7,813(本体¥7,103)
  • DE BOECK SUP(2010/02発売)
  • ポイント 142pt
  • お取り寄せ
B 2007 : Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4355〉
  • 洋書
  • ポイントキャンペーン

B 2007 : Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4355〉  Paperback,  言語:ENG

Julliand, Jacques (EDT)/ Kouchnarenko, Olga (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer(2007/01発売)
  • ポイント 218pt
  • 海外取次在庫