Hoppa till sidans huvudinnehåll

Virgile Prevosto - Böcker

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

AvVirgile Prevosto,Cristina Seceleanu

Häftad, Engelska, 2023

699 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevosto m. fl.

Inbunden, Engelska, 2024

909 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevosto m. fl.

Häftad, Engelska, 2025

809 kr

Skickas inom 10-15 vardagar