- -

Listar por autor "Reinoso Mendoza, Efren Patricio"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Reinoso Mendoza, Efren Patricio"

Ordenar por:Orden:Resultados:

  • thumb
    Logical models for automated semantics-directed program analysis 
    Reinoso Mendoza, Efren Patricio (Universitat Politècnica de València, 2016-12-07)
    [EN] In Computer Science and Software Engineering, even at this time, when huge hardware and software resources are available, the problem of checking correctness of an specific piece of software is a very complicated one. ...
  • thumb
    Reingeniería de la Biblioteca Digital de SISTEDES 
    Chordà Blasco, Joan (Universitat Politècnica de València, 2019-01-15)
    El presente Trabajo Final de Máster consiste en la reingeniería de una biblioteca digital llamada Biblioteca Digital de SISTEDES, pues su versión original ha sido desarrollada con una tecnología que presenta grandes ...