The logical basis for computer programming
Zohar Manna, Richard Waldinger.
Reading, Mass. : Addison-Wesley, ©1985-©1990.
2 vols. ; 25 cm.
Serie: Addison-Wesley series in computer science
ISBN: 0201182602 (v. 1), 0201182610 (v. 2)
Existe una versión condensada en un solo vol.: The deductive foundations of computer programming. Reading, Mass. : Addison-Wesley, c1993.
Incluye referencias bibliográficas e índices.
Reseña: MathSciNet, 87k:03001 (v. 1)
Contenido
- v. 1. Deductive reasoning
- v. 2 Deductive systems.