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)  Paperback,  言語:ENG

Kosmatov, Nikolai (EDT)/ Prevosto, Virgile (EDT)/ Signoles, Julien (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) (2024)
  • 洋書
  • ポイントキャンペーン

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

Kosmatov, Nikolai (EDT)/ Prevosto, Virgile (EDT)/ Signoles, Julien (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 700pt
  • 海外取次在庫