The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" - Manna, Zohar; Waldinger, Richard; Manna, Zohar (Reading, Mass. : Addison-Wesley, 1993)
Versión condensada y simplificada de la obra original.
Incluye referencias bibliográficas (p. [673]-677) e índices.
Keywords: Computer programming; Logic, Symbolic and mathematical