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発売)
  • ご注文いただけません