Esta web, cuyo responsable es Bubok Publishing, s.l., utiliza cookies (pequeños archivos de información que se guardan en su navegador), tanto propias como de terceros, para el funcionamiento de la web (necesarias), analíticas (análisis anónimo de su navegación en el sitio web) y de redes sociales (para que pueda interactuar con ellas). Puede consultar nuestra política de cookies. Puede aceptar las cookies, rechazarlas, configurarlas o ver más información pulsando en el botón correspondiente.
AceptarRechazarConfiguración y más información

J.Alvez X.Arregi J.Gaintzarain P.Lucio M.Maritxalar

Todas las autoras y autores de este libro pertenecemos al Departamento de Lenguajes y Sistemas Informáticos de la Universidad del País Vasco - UPV/EHU y contamos con muchos años de experiencia docente en asignaturas relacionadas con la programación y con la aplicación de técnicas formales para el desarrollo software fiable.