Conoce las bases teóricas y prácticas de lenguajes y sistemas informáticos, desde gramáticas formales hasta arquitecturas concurrentes, con ejemplos que ilustran la evolución de la computación distribuida.