UTAustinX: LAFF – On Programming for Correctness
Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.
7 semanas
4–6 horas por semana
A tu ritmo
Avanza a tu ritmo
Gratis
Verificación opcional disponible
Hay una sesión disponible:
Una vez finalizada la sesión del curso, será archivadoAbre en una pestaña nueva.
Comienza el 2 may
Termina el 31 dic
LAFF – On Programming for Correctness
De un vistazo
- Institution
UTAustinX
- Subject Informática
- Level Intermediate
- Prerequisites Ninguno
- Language English
- Video Transcript English
- Associated skillsLinear Algebra, Scientific Computing, Computer Science, MATLAB, Algorithms, Goal-Oriented, Formal Methods, Operations
¿Te interesa este curso para tu negocio o equipo?
Capacita a tus empleados en los temas más solicitados con edX para Negocios.