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.
Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner
| Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner |
| Autore | IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982> |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1983 |
| Descrizione fisica | XII, 455 p. : ill. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000362940203316 |
IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982>
|
||
| Amsterdam : North-Holland publishing company, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.] ; with the assistence of Arie de Bruin, Jeffrey Zucker
| Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.] ; with the assistence of Arie de Bruin, Jeffrey Zucker |
| Autore | BJORNER, Dines |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall, copyr. 1982 |
| Descrizione fisica | X, 501 p. : ill. ; 23 cm |
| Disciplina | 001.642 |
| Altri autori (Persone) | JONES, Cliff B. |
| Collana | Prentice-Hall International series in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Elaboratori elettronici - Linguaggi di programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000354630203316 |
|
BJORNER, Dines
|
||
| Englewood Cliffs : Prentice-Hall, copyr. 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||