Virgile Prevosto – författare
Visar alla böcker från författaren Virgile Prevosto. Handla med fri frakt och snabb leverans.
6 produkter
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Av Virgile Prevosto, Cristina Seceleanu
Häftad, 2023
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), …
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Av Cristina Seceleanu, Virgile Prevosto
E-bok, 2023
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), …
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 …
