Programación en lógica temporal basada en los operadores since y until
Cobo, María Laura
Programación en lógica temporal basada en los operadores since y until
DIF-M3409
Programación en lógica temporal basada en los operadores since y until
DIF-M3409