Manna, Zohar

The logical basis for computer programming - Vol.1 - Reading, Massachusetts Addison-Wesley Publishing Company 1985 - xii, 618 p. ill. 25 cm. Vol.1: Deductive Reasoning - Addison-Wesley Series in Computer Science .

Includes bibliographies and indexes.

0201182602


Computer programming
Logic, symbolic and mathematical

519.7 / M2L6

Powered by Koha