Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Schlingloff, Bernd-Holger (EDT)/ Chai, Ming (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 278pt
  • 海外取次在庫
Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 238pt
  • 海外取次在庫