Virgile Prevosto - Böcker
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
1 009 kr
Skickas inom 7-10 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Häftad, Engelska, 2025
699 kr
Skickas inom 10-15 vardagar