9 relaţii: E. Allen Emerson, Edmund Clarke, Greci, Grecia, Heraklion, Informatician, Premiul Turing, 1946, 2007.
E. Allen Emerson
Ernest Allen Emerson (n. 2 iunie 1954 la Dallas) este un informatician american, cunoscut pentru dezvoltarea conceptului de model checking, ca metodă de verificare formală a proiectelor informatice.
Nou!!: Iosif Sifakis și E. Allen Emerson · Vezi mai mult »
Edmund Clarke
Edmund Melson Clarke, Jr. a fost un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software.
Nou!!: Iosif Sifakis și Edmund Clarke · Vezi mai mult »
Greci
Grecii (greacă: Έλληνες - ''ellenes'') reprezintă o grupă etnică și o națiune care populează Grecia din secolul al XVII-lea î.Hr. până în prezent.
Nou!!: Iosif Sifakis și Greci · Vezi mai mult »
Grecia
Grecia (în), oficial, Republica Elenă (în) și cunoscută încă din antichitate și sub denumirea de Elada, este o țară din Europa de Sud.
Nou!!: Iosif Sifakis și Grecia · Vezi mai mult »
Heraklion
Heraklion (în - Iraklion) este capitala insulei Creta, Grecia și cel mai mare oraș din această insulă.
Nou!!: Iosif Sifakis și Heraklion · Vezi mai mult »
Informatician
Informatician Informaticianul este un lucrător specializat în domeniul informaticii.
Nou!!: Iosif Sifakis și Informatician · Vezi mai mult »
Premiul Turing
Premiul A. M. Turing este o distincție decernată anual de către Association for Computing Machinery „unei persoane alese pentru contribuțiile de natură tehnică aduse comunității informatice.
Nou!!: Iosif Sifakis și Premiul Turing · Vezi mai mult »
1946
1946 (MCMXLVI) a fost un an obișnuit al calendarului gregorian, care a început într-o zi de marți.
Nou!!: Iosif Sifakis și 1946 · Vezi mai mult »
2007
2007 (MMVII) a fost un an obișnuit al calendarului gregorian, care a început într-o zi de luni.
Nou!!: Iosif Sifakis și 2007 · Vezi mai mult »