Promoción de operaciones en notación Z (03)

Esté es un vídeo destinado más que nada a los estudiantes de Ingeniería de Software 1 de la Universidad Nacional de Rosario (Argentina).
Introducción a la promoción de operaciones en notación Z; promoción de dos operaciones simultáneamente sobre el mismo esquema de estados pero dos variables diferentes.