The logical basis for computer programming. 1. Deductive reasoning.
Saved in:
Personal Name(s): | Manna, Z. |
---|---|
Waldinger, R. | |
Imprint: |
Reading, MA :
Addison Wesley,
1985.
|
Physical Description: |
XII, 618 S. |
Note: |
englisch |
ISBN: |
0201182602 9780201182606 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Addison Wesley series in computer science.
/* Depending on the record driver, $field may either be an array with "name" and "number" keys or a flat string containing only the series name. We should account for both cases to maximize compatibility. */?> Logical basis for computer programming ; 1. |
Keywords: |
propositional logic predicate logic mathematical induction strings trees lists sets bags tuples |
Classification: | |
Shelf Classification: |
ZB | |
---|---|
Reading Room Call number: MDB 021-01 Barcode: 1090105837 Available |