The Deductive foundations of computer programming /
Furkejuvvon:
| Váldodahkki: | |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Reading, EUA :
Addison-Wesley,
1993, c1993
|
| Fáttát: | |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Geahča maid: 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 /