The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Reading, Mass.
Addison-Wesley
c1993.
|
| Gaiak: |