top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Wikipedia
Wikipedia
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Cousot, Radhia
ID:
1752269
Opere
Altre forme del nome
Radhia Cousot informaticienne française
Cousot, Radhia, 1947-2014
Cousot, Radhia
Cousot Radhia
Seleziona tutte
Deseleziona
Static analysis
...
Verification, model checking, and abstract interpretation
...