Virgile Prevosto - Böcker

Visar alla böcker från författaren Virgile Prevosto.
3 produkter
Virgile Prevosto, Cristina Seceleanu - Tests and Proofs, Häftad
Del 14066 - Lecture Notes in Computer Science

Tests and Proofs

Av Virgile Prevosto, Cristina Seceleanu

Häftad, Engelska, 2023

719 kr

Skickas inom 7-10 vardagar
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Inbunden

Guide to Software Verification with Frama-C

Av Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Inbunden, Engelska, 2024

939 kr

Skickas inom 5-8 vardagar
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Häftad

Guide to Software Verification with Frama-C

Av Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Häftad, Engelska, 2025

839 kr

Skickas inom 7-10 vardagar