The Deductive foundations of computer programming /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Reading, EUA :
Addison-Wesley,
1993, c1993
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: The Deductive foundations of computer programming /
- The Logical Basis for Computer Programming: Volume 1: Deductive Reasoning /
- The Logical Basis for Computer Programming Volume 2: Deductive Systems /
- A programming approach to computability /
- Foundations of Computer Science : C Edition /
- Mathematical Theory of Computation /
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /