Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥28,974(本体¥26,340)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 263pt
  • 海外取次在庫
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
  • 洋書

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Herausgegeben:Kosmatov, Nikolai/Prevosto, Virgile/Signoles, Julien

  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2025発売)
  • ご注文いただけません