Julien Signoles - Böcker

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

2 produkter

Kategorier

2 produkter

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevosto m. fl.

Inbunden, Engelska, 2024

1 039 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

689 kr

Skickas inom 10-15 vardagar