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.
Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 / edited by B. Möller
| Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 / edited by B. Möller |
| Autore | IFIP TC2-WG 2.1 working conference on constructing programs from specifications : <1991 |
| Pubbl/distr/stampa | Amsterdam [etc.], : North-Holland, 1991 |
| Descrizione fisica | X, 515 p. ; 23 cm. |
| Disciplina | 005.1 |
| Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1991 |
| ISBN | 0444891846 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395496 |
IFIP TC2-WG 2.1 working conference on constructing programs from specifications : <1991
|
||
| Amsterdam [etc.], : North-Holland, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal program development : IFIP TC2/WG 2.1 state of the art report / Bernhard Moller, Helmut Partsch, Steve Schuman (eds.)
| Formal program development : IFIP TC2/WG 2.1 state of the art report / Bernhard Moller, Helmut Partsch, Steve Schuman (eds.) |
| Autore | International federation for information processing : Technical committee 2 : Working group 2.1 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1993 |
| Descrizione fisica | 371 p. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN |
0387574999
3540574999 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10004596 |
|
International federation for information processing : Technical committee 2 : Working group 2.1
|
||
| Berlin [etc.], : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal program development : IFIP TC2/WG 2.1 : state of the artreport / Bernhard Moller (ed.)
| Formal program development : IFIP TC2/WG 2.1 : state of the artreport / Bernhard Moller (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | 371 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | elaboratori elettronici - programmazione |
| ISBN | 3-540-57499-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204120203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.)
| Mathematics of program construction : third International conference, MPC '95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller (ed.) |
| Autore | International conference MPC'95 : 3. : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 472 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - kloster - 1995
elaboratori elettronici - programmazione - congressi - 1995 logica matematica - congressi - 1995 |
| ISBN | 3-540-60117-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000211010203316 |
|
International conference MPC'95 : 3. : 1995
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Prospects for hardware foundations : ESPRIT working group 8533 : NADA -New hardware design methods : survey chapters / Bernhard Moller ... [et al.] (eds.)
| Prospects for hardware foundations : ESPRIT working group 8533 : NADA -New hardware design methods : survey chapters / Bernhard Moller ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | X, 468 p. : ill. ; 24 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - markt-oberdorf - 1998
elaboratori elettronici - progettazione - congressi 1998 |
| ISBN | 3-540-65461-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207910203316 |
| Berlin [etc] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||