En este curso se propone el desarrollo de aplicaciones Web considerando el uso de prácticas de desarrollo formal en distintas herramientas y lenguajes computacionales