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)
Clarke, Edmund M.
ID:
67498
Opere
Altre forme del nome
Clarke, Edmund M.
Clarke, Edmund Melson 1945-...
Edmund M. Clarke American computer scientist
Clarke, Edmund M., 1945-...
Clarke, E. M., 1945-
Clarke Edmund
Clarke Edmund M. Jr. (Edmund Melson), 1945-2020
Clarke, Edmund M. <1945- >
Seleziona tutte
Deseleziona
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
...
Model checking
...
Verification of infinite-state systems with applications to security
...