Lectures on the logic of computer programming
Manna, Zohar.
Lectures on the logic of computer programming - Filadelfia, Estados Unidos SIAM 1980 - 49 p. 26 cm. - (5952) ; 31 .
Bibliografía: p. 49
0-89871-164-9
LOGICA MATEMATICA
PROGRAMACION (COMPUTACION)
005.1/M315l
Lectures on the logic of computer programming - Filadelfia, Estados Unidos SIAM 1980 - 49 p. 26 cm. - (5952) ; 31 .
Bibliografía: p. 49
0-89871-164-9
LOGICA MATEMATICA
PROGRAMACION (COMPUTACION)
005.1/M315l