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,156(本体¥11,960)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 595pt
  • 海外取次在庫
COURS ET EXERCICES CORRIGES D'ALGORITHMIQUE (LMD MATHS)
  • 洋書
  • ポイントキャンペーン

COURS ET EXERCICES CORRIGES D'ALGORITHMIQUE (LMD MATHS)

JULLIAND JACQUES

  • ウェブストア価格 ¥7,343(本体¥6,676)
  • DE BOECK SUP(2010/02発売)
  • ポイント 330pt
  • お取り寄せ
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)

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