Browsing by Author "Back, Ralph-Johan"

DSpace/Manakin Repository

Browsing 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