Browsing Departamento Ciencias de la Computación - FCEIA-ECEN-DCC by Author "Back, Ralph-Johan"

DSpace/Manakin Repository

Browsing Departamento Ciencias de la Computación - FCEIA-ECEN-DCC by Author "Back, Ralph-Johan"

Sort by: Order: Results:

  • Dobal, Pablo Federico (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-11-30)
    En este trabajo se presentan las ideas detrás de una prometedora técnica para la construcción de software, esto es la programación basada en invariantes (IBP). Este trabajo expone el marco de trabajo teórico y práctico ...

My Account


Search DSpace


Browse