|
scheda bibliografica validata  |
| Tipo: |
Testo a stampa, Monografia |
| Autore principale: |
Manna, Zohar (1939-....) |
| Titolo: |
The logical basis for computer programming / Zohar Manna, Richard Waldinger |
| Pubblicazione: |
Reading (Massachusetts) ; Menlo Park (California) ; Don Mills (Ontario) ; Wokingham (England) ; Amsterdam ; Sydney ; Singapore ; Tokyo ; Mexico City ; Bogotą ; Santiago ; San Juan : Addison-Wesley, 1985-1990 |
| Descrizione fisica: |
2 volumi ; 25 cm |
| Titolo uniforme: |
The logical basis for computer programming |
| Fa parte della collezione: |
Addison-Wesley Series in Computer Science |
| Comprende: |
Vol. 1: Deductive reasoning
Vol. 2: Deductive systems |
| Note riferite alla pubblicazione, alla distribuzione, etc.: |
Il luogo di pubblicazione varia |
| Coautore: |
Waldinger, Richard |
| Classificazione Dewey: |
160 ed.22 Logica
510 ed.22 Matematica |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Stati Uniti d'America ; Canada ; Regno Unito ; Paesi Bassi ; Australia ; Singapore ; Giappone ; Messico ; Colombia ; Cile ; Argentina |
| Codice identificativo: |
IT/ItRC/00310807 |
| data di creazione: |
28-10-2014 |
| data di aggiornamento: |
30-10-2014 |
Lista sintetica
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
