Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)
  • 洋書

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421) (2012. X, 251 p. 235 mm)  Paperback

Herausgegeben von Beckert, Bernhard/ Damiani, Ferruccio/ Gurov, Dilian

  • ウェブストア価格 ¥11,683(本体¥10,621)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 106pt
  • 海外取次在庫