Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback

Liu, Shaoying (EDT)/ Duan, Zhenhua (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 102pt
  • 海外取次在庫
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Ogata, Kazuhiro (EDT)/ Lawford, Mark (EDT)/ Liu, Shaoying (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Liu, Shaoying (EDT)/ Duan, Zhenhua (EDT)

  • ウェブストア価格 ¥9,185(本体¥8,350)
  • Springer International Publishing AG(2015/04発売)
  • ポイント 83pt
  • 海外取次在庫
Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Liu, Shaoying (EDT)/ Duan, Zhenhua (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2014/03発売)
  • ポイント 102pt
  • 海外取次在庫
Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Liu, Shaoying (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 92pt
  • 海外取次在庫
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Liu, Shaoying (EDT)/ Duan, Zhenhua (EDT)/ Tian, Cong (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Miao, Huaikou (EDT)/ Tian, Cong (EDT)/ Liu, Shaoying (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Duan, Zhenhua (EDT)/ Liu, Shaoying (EDT)/ Tian, Cong (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Tian, Cong (EDT)/ Nagoya, Fumiko (EDT)/ Liu, Shaoying (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 102pt
  • 海外取次在庫