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.
Essays in computing science / C.A.R. Hoare ; C.B. Jones editor
| Essays in computing science / C.A.R. Hoare ; C.B. Jones editor |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | New York [etc.], : Prentice Hall, 1989 |
| Descrizione fisica | XII, 412 p. ; 24 cm |
| Disciplina | 004 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto topico | Elaborazione elettronica |
| ISBN | 0132840278 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-FER0026448 |
Hoare, Charles Antony Richard
|
||
| New York [etc.], : Prentice Hall, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Systematic software development using VDM / Cliff B. Jones
| Systematic software development using VDM / Cliff B. Jones |
| Autore | Jones, Cliff B. <1944- > |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York [etc.], : Prentice Hall, c1990 |
| Descrizione fisica | XIV, 333 p. ; 23 cm |
| Disciplina | 005.1 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Elaboratori elettronici - Programmi - Sviluppo |
| ISBN | 0138807337 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0048320 |
|
Jones, Cliff B. <1944- >
|
||
| New York [etc.], : Prentice Hall, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||