Virgile Prevosto - Böcker

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

3 produkter

Kategorier

3 produkter

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Av Virgile Prevosto, Cristina Seceleanu

Häftad, Engelska, 2023

709 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Av Nikolai Kosmatov, Virgile Prevosto m. fl

Inbunden, Engelska, 2024

899 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Av Nikolai Kosmatov, Virgile Prevosto m. fl

Häftad, Engelska, 2025

809 kr

Skickas inom 10-15 vardagar