Presentazione dell'autore Nikolai Kosmatov:

Libri pubblicati finora da Nikolai Kosmatov:

Guida alla verifica del software con Frama-C: Componenti principali, usi e applicazioni - Guide to...
Springer Nature
Frama-C è un popolare set di strumenti open-source...
Guida alla verifica del software con Frama-C: Componenti principali, usi e applicazioni - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)