The Logical Basis for Computer Programming

The Logical Basis for Computer Programming
Author :
Publisher :
Total Pages : 664
Release :
ISBN-10 : UOM:39015018331218
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
Book Synopsis The Logical Basis for Computer Programming by : Zohar Manna

Download or read book The Logical Basis for Computer Programming written by Zohar Manna and published by . This book was released on 1990 with total page 664 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mathematical logic; Theories with induction.

The Logical Basis for Computer Programming Related Books

The Logical Basis for Computer Programming
Language: en
Pages: 664

The Logical Basis for Computer Programming

Authors: Zohar Manna
Categories: Computer programming
Type: BOOK - Published: 1990 - Publisher:

GET EBOOK

Mathematical logic; Theories with induction.
The Logical Basis for Computer Programming. Vol. 1: Deductive Reasoning
Language: en
Pages: 618

The Logical Basis for Computer Programming. Vol. 1: Deductive Reasoning

Authors: Zohar Manna
Categories:
Type: BOOK - Published: 1985 - Publisher:

GET EBOOK

The Logical Basis for Computer Programming: Deductive reasoning
Language: en
Pages: 642

The Logical Basis for Computer Programming: Deductive reasoning

Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 1985 - Publisher: Addison-Wesley Professional

GET EBOOK

The Deductive Foundations of Computer Programming
Language: en
Pages: 717

The Deductive Foundations of Computer Programming

Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 1993-01-01 - Publisher: Addison-Wesley Professional

GET EBOOK

This work provides a most readable introduction to the logical concepts and techniques underlying computer programming.
The Logical Basis for Computer Programming. Volume I: Informal Reasoning
Language: en
Pages:

The Logical Basis for Computer Programming. Volume I: Informal Reasoning

Authors: Z. Manna
Categories:
Type: BOOK - Published: 1983 - Publisher:

GET EBOOK