Artículo.
vector de estado. La lógica del arnés se da en la línea 6. Lleva un nombre y un cuerpo que contiene el escenario de la llamada al SUV que se detalla en los siguientes conceptos de lenguaje. Figura 4: Codificación del módulo de arnés Concepto de registro. Cuando una afirmación falla, Spin imprime un