Virgile Prevosto – författare
Visar alla böcker från författaren Virgile Prevosto.
3 produkter
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Av Virgile Prevosto, Cristina Seceleanu
Häftad, 2023
739 kr
Lägg i varukorg
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Inbunden, 2024
1329 kr
Lägg i varukorg
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Häftad, 2025
719 kr
Lägg i varukorg