Virgile Prevosto – författare
Visar alla böcker från författaren Virgile Prevosto.
3 produkter
3 produkter
Del 14066 - Lecture Notes in Computer Science
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Häftad, Engelska, 2023
719 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Inbunden, Engelska, 2024
999 kr
Skickas inom 5-8 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Häftad, Engelska, 2025
699 kr
Skickas inom 10-15 vardagar