(eBook) The Logical Basis For Computer Programming Deductive Reasoning [Download]

Language: en
Pages: 618

Authors: Zohar Manna

Categories:

Type: BOOK - Published: 1985 - Publisher:

Language: en
Pages: 717

Authors: Zohar Manna

Categories: Computers

Type: BOOK - Published: 1993-01-01 - Publisher: Addison-Wesley Professional

This work provides a most readable introduction to the logical concepts and techniques underlying computer programming.

Language: en
Pages: 642

Authors: Zohar Manna

Categories: Computers

Type: BOOK - Published: 1985 - Publisher: Addison-Wesley Professional

Language: en
Pages:

Authors: Z. Manna

Categories:

Type: BOOK - Published: 1983 - Publisher:

Language: en
Pages: 664

Authors: Zohar Manna

Categories: Computer programming

Type: BOOK - Published: 1990 - Publisher:

Mathematical logic; Theories with induction.