Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa
| A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa |
| Autore | Dijkstra, Edsger W. |
| Pubbl/distr/stampa | Wokingham : Addison-Wesley, 1988 |
| Descrizione fisica | VIII, 188 p. ; 24 cm |
| Disciplina | 005.131 |
| Altri autori (Persone) | Feijen, W. H. J. |
| Soggetto non controllato |
Elaboratori elettroniciProgrammazione
Logica simbolica |
| ISBN | 0201175363 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000017141 |
Dijkstra, Edsger W.
|
||
| Wokingham : Addison-Wesley, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
| Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten |
| Autore | Dijkstra, Edsger W. |
| Pubbl/distr/stampa | New York : Springer, c1990 |
| Descrizione fisica | X, 220 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Scholten, Carel S. |
| Collana | Texts and monographs in computer science |
| Soggetto non controllato | Logica matematica |
| ISBN | 0-387-96957-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018873 |
|
Dijkstra, Edsger W.
|
||
| New York : Springer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Selected Writings on Computing : A Personal Perspective / Edsger W. Dijkstra
| Selected Writings on Computing : A Personal Perspective / Edsger W. Dijkstra |
| Autore | Dijkstra, Edsger W. |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1982 |
| Disciplina | 510.78 |
| Collana | Texts and Monographs in Computer Science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 0-387-90652-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001089930403321 |
|
Dijkstra, Edsger W.
|
||
| New York [etc.] : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Structured programming / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare
| Structured programming / O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare |
| Autore | Dahl, Ole-Johan |
| Pubbl/distr/stampa | London [etc.] : Academic Press, 1972 |
| Disciplina | 004.3 |
| Soggetto non controllato | Programmazione strutturata |
| ISBN | 0-12-200550-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001143330403321 |
|
Dahl, Ole-Johan
|
||
| London [etc.] : Academic Press, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||