Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java

by P. Basanta-Val, M. García-Valls, I. Estévez-Ayres, M.J. Martin-Gutiérrez
Published 2012-07-01