The Logical Basis for Computer Programming Vol. IDeductive Reasoning |
|
| Author:
| Manna, Zohar
Waldinger, Richard |
| Series title: | Addison-Wesley Series in Computer Science |
| ISBN: | 978-0-201-18260-6 |
| Publication Date: | Jan 1985 |
| Publisher: | Addison Wesley Professional
|
| Book Format: | Hardback |
| List Price: | AUD $69.95 |