Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Fiadeiro, José Luiz (EDT)/ Liu, Zhiming (EDT)/ Xue, Jinyun (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/07発売)
  • ポイント 101pt
  • 海外取次在庫
Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Xue, Jinyun (EDT)/ Nagoya, Fumiko (EDT)/ Liu, Shaoying (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 101pt
  • 海外取次在庫