The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming"
Zohar Manna, Richard Waldinger.
Reading, Mass. : Addison-Wesley, ©1993.
xiv, 717 págs. ; 24 cm.
ISBN: 0201548860
Versión condensada y simplificada de la obra original.
Incluye referencias bibliográficas (p. [673]-677) e índices.