The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Reading, Mass.
Addison-Wesley
c1993.
|
| Ämnen: |