Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Braga, Christiano (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 102pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Braga, Christiano (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥9,185(本体¥8,350)
  • Springer International Publishing AG(2015/01発売)
  • ポイント 83pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。