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.
FM 2009: formal methods : second world congress : Eindhoven, The Netherlands, november 2-6, 2009 : proceedings / Ana Cavalcanti...[et al.] (Eds.)
| FM 2009: formal methods : second world congress : Eindhoven, The Netherlands, november 2-6, 2009 : proceedings / Ana Cavalcanti...[et al.] (Eds.) |
| Pubbl/distr/stampa | Berlin[etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XVII, 820 p. ; 24 cm |
| Disciplina | 005.74 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaborazione Elettronica - Congressi - Eindhoven - 2009 |
| ISBN | 978-3-642-05088-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003347270203316 |
| Berlin[etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.)
| Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.) |
| Autore | International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | XIV, 758 p. : ill. ; 24 cm |
| Disciplina | 004.01 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Elaboratori -- Programmazione -- Atti di congressi
Programmi per elaboratori -- Progettazione -- Atti di congressi |
| ISBN | 978-3-642-10372-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003407850203316 |
International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004 : Recife, Brazil, November 23-December 5, 2004 : Revised Lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.)
| Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004 : Recife, Brazil, November 23-December 5, 2004 : Revised Lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.) |
| Autore | Pernambuco Summer School on Software Engineering, PSSE 2004 : <1.; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | X, 391 p. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science, Tutorial |
| Soggetto topico | Ingegneria del software - Congressi - Recife - 2004 |
| ISBN | 3-540-46253-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003070900203316 |
|
Pernambuco Summer School on Software Engineering, PSSE 2004 : <1.; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||