Golpedegato
Buscar
2008/02/05
Premio Turing 2007
Fuente:
Barrapunto
.
La
ACM ha anunciado el Premio Turing 2007
, que ha sido otorgado a
Edmund M. Clarke
,
E. Allen Emerson
y
Joseph Sifakis
por su trabajo pionero en un
método automatizado para encontrar errores de diseño en software y hardware
.
No hay comentarios:
Publicar un comentario
Entrada más reciente
Entrada antigua
Inicio
No hay comentarios:
Publicar un comentario