Verificación y eficiencia en programas para el cálculo simbólicoestudio de un caso
- Martín Mateos, Francisco Jesús
- Ruiz Reina, José Luis
- Rubio García, Julio
- Lambán Pardo, Laureano
- Lucio, Paqui (ed. lit.)
- Moreno Valverde, Ginés Damián (ed. lit.)
- Peña Marí, Ricardo (ed. lit.)
Verlag: Mondragon Unibertsitatea
ISBN: 978-84-692-4600-9
Datum der Publikation: 2009
Seiten: 7-14
Kongress: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)
Art: Konferenz-Beitrag