Virgile Prevosto – författare

Visar alla böcker från författaren Virgile Prevosto.

3 produkter

Kategorier

3 produkter

Del 14066
Del 14066 - Lecture Notes in Computer Science
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
AvVirgile Prevosto,Cristina Seceleanu
Häftad, Engelska, 2023
729 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
AvNikolai Kosmatov,Virgile Prevostom. fl.
Inbunden, Engelska, 2024
1 019 kr
Skickas inom 5-8 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
AvNikolai Kosmatov,Virgile Prevostom. fl.
Häftad, Engelska, 2025
709 kr
Skickas inom 10-15 vardagar