The Logical basis for computer programming
Saved in:
Main Author: | Manna, Zohar |
---|---|
Other Authors: | Waldinger, Richard |
Format: | Book |
Published: |
Reading, Mass.
Addison-Wesley
1990
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The logical basis for computer programming
by: Manna, Zohar
Published: (1985) -
The deductive foundations of computer programming
by: Manna, Zohar
Published: (1993) -
Mathematical logic and programming languages
Published: (1985) -
Computation as logic
by: Lalement, Rene
Published: (1993) -
Logic and structured design for computer programmers
by: Rood, Harold J
Published: (1985)