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発売)
  • ご注文いただけません
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Prevosto, Virgile (EDT)/ Seceleanu, Cristina (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 103pt
  • 海外取次在庫