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,380(本体¥10,346)
  • Springer International Publishing AG(2016/01発売)
  • ポイント 103pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

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

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