La Association for Computing Machinery (ACM) anunció a Edmund M. Clarke, E. Allen Emerson y Joseph Sifakis como los ganadores del premio Turing 2007. El premio, llamado como el matemático británico Alan M. Turing, es considerado como el más prestigioso premio en computación.
6 de febrero de 2008
"Premio Nobel" de Computacion Anunciado
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario