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,471(本体¥14,065)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 140pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥39,787(本体¥36,170)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 361pt
  • 海外取次在庫
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,260(本体¥12,055)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 120pt
  • 海外取次在庫