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

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 112pt
  • 海外取次在庫
Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany (Studies in Computational Intelligence)
  • 洋書

Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany (Studies in Computational Intelligence)  Hardcover

Schlingloff, Bernd-Holger (EDT)/ Vogel, Thomas (EDT)/ Skowron, Andrzej (EDT)

  • ウェブストア価格 ¥37,252(本体¥33,866)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 338pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥14,485(本体¥13,169)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 131pt
  • 海外取次在庫