Hoppa till sidans huvudinnehåll

Virgile Prevosto – författare

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

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

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Inbunden

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

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Häftad

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