Verificación y eficiencia en programas para el cálculo simbólicoestudio de un caso

  1. Martín Mateos, Francisco Jesús
  2. Ruiz Reina, José Luis
  3. Rubio García, Julio
  4. Lambán Pardo, Laureano
Liburua:
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
  1. Lucio, Paqui (ed. lit.)
  2. Moreno Valverde, Ginés Damián (ed. lit.)
  3. Peña Marí, Ricardo (ed. lit.)

Argitaletxea: Mondragon Unibertsitatea

ISBN: 978-84-692-4600-9

Argitalpen urtea: 2009

Orrialdeak: 7-14

Biltzarra: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet