Logic, Language, Information, and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456) (2nd ed. 2012. XII, 337 p. 235 mm)
  • 洋書
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Duan, Zhenhua (EDT)/ Ong, Luke (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。