Julien Signoles – författare
Visar alla böcker från författaren Julien Signoles. Handla med fri frakt och snabb leverans.
3 produkter
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Inbunden, 2024
788 kr
Lägg i varukorg
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of …
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Julien Signoles, Virgile Prevosto m. fl.
E-bok, 2024
734 kr
Lägg i varukorg
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of …
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Häftad, 2025
551 kr
Lägg i varukorg
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of …
