top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Guide to Software Verification with Frama-C
ID:
4174479
Creatori:
(1378504) Prevosto, Virgile
...
(1744495) Kosmatov, Nikolaï 1975-.
...
(1744496) Signoles Julien
...
Persona
Opera