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.
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997
| First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996204369303316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997
| First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872644903321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
| ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2000 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218932003316 |
| [Place of publication not identified], : IEEE Computer Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
| ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2000 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872412303321 |
| [Place of publication not identified], : IEEE Computer Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
| Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1998 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211375403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
| Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1998 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872842103321 |
| [Place of publication not identified], : IEEE Computer Society Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||