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,175(本体¥13,796)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 137pt
  • 海外取次在庫
ソフトウエア工学のための形式的手法(テキスト)<br>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)
 Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥18,428(本体¥16,753)
  • Springer Nature Switzerland AG(2022/06発売)
  • ポイント 167pt
  • 海外取次在庫
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,007(本体¥11,825)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 118pt
  • 海外取次在庫