Julien Signoles – författare

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

2 produkter

Kategorier

2 produkter

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 009 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