Agile-SOFL : Agile Formal Engineering Method
  • 洋書
  • ポイントキャンペーン

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

Liu, Shaoying

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer(2025/06発売)
  • ポイント 1,285pt
  • 海外からお取り寄せ(通常6~9週間)
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,183(本体¥12,894)
  • Springer Nature Switzerland AG(2025/03発売)
  • ポイント 640pt
  • 海外取次在庫
Agile-SOFL : Agile Formal Engineering Method
  • 洋書
  • ポイントキャンペーン

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

Liu, Shaoying

  • ウェブストア価格 ¥43,645(本体¥39,678)
  • Springer Nature(2024/07発売)
  • ポイント 1,980pt
  • 海外取次在庫
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,092(本体¥11,902)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 595pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 545pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 545pt
  • オンデマンド(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 (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

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

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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 545pt
  • オンデマンド(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)

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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,001(本体¥10,910)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。