XXI Congreso Internacional sobre técnicas de Desarrollo Algebraico

El enfoque algebraico a la especificación de sistemas abarca muchos aspectos del diseño formal de software. Originalmente nació como un método formal para el razonamiento acerca de los tipos abstractos de datos, actualmente abarca nuevos marcos de …

Fuente: MásSalamanca.com

, , , ,

  1. Deja un comentario

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

A %d blogueros les gusta esto: