Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 102pt
  • 海外取次在庫
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
  • 海外取次在庫