Program construction : calculating implementations from specifications. - Backhouse, Roland (Inglaterra : John Wiley and Sons, Inc, 2003)
Referencias bibliográficas
COMP
Keywords: Computación; Lógica matemática; Programación de computadoras; Composición secuencial; Software; Libros electrónicos