Agile-SOFL : Agile Formal Engineering Method
  • 洋書

Agile-SOFL : Agile Formal Engineering Method  Paperback,  言語:ENG

Liu, Shaoying

  • Springer(2025/06発売)
  • ご注文いただけません
Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Liu, Shaoying (EDT)

  • ウェブストア価格 ¥14,457(本体¥13,143)
  • Springer Nature Switzerland AG(2025/03発売)
  • ポイント 131pt
  • 海外取次在庫
Software Fault Prevention, Verification, and Validation : Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Fault Prevention, Verification, and Validation : Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chen, Yuting (EDT)/ Okamura, Hiroyuki (EDT)/ Liu, Shaoying (EDT)

  • ウェブストア価格 ¥16,681(本体¥15,165)
  • Springer Verlag, Singapore(2026/02発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Agile-SOFL : Agile Formal Engineering Method
  • 洋書
  • 電子版あり

Agile-SOFL : Agile Formal Engineering Method  Hardcover,  言語:ENG

Liu, Shaoying

  • ウェブストア価格 ¥44,489(本体¥40,445)
  • Springer Nature(2024/07発売)
  • ポイント 404pt
  • 海外取次在庫
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥13,345(本体¥12,132)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 121pt
  • 海外取次在庫
Formal Engineering for Industrial Software Development : Using the Sofl Method
  • 洋書

Formal Engineering for Industrial Software Development : Using the Sofl Method  Paperback,  言語:ENG

Liu, Shaoying

  • ウェブストア価格 ¥13,345(本体¥12,132)
  • Springer(2010/12発売)
  • ポイント 121pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 111pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 111pt
  • オンデマンド(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)

  • ウェブストア価格 ¥10,007(本体¥9,098)
  • Springer International Publishing AG(2015/04発売)
  • ポイント 90pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,233(本体¥11,121)
  • Springer International Publishing AG(2014/03発売)
  • ポイント 111pt
  • 海外取次在庫