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.
Balancing agility and formalism in software engineering : Second IFIP TC 2 central and east european conference on software engineering techniques, CEE-SET 2007 : Poznan, Poland, October 10-12, 2007 : Revised selected papers / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (Eds.)
| Balancing agility and formalism in software engineering : Second IFIP TC 2 central and east european conference on software engineering techniques, CEE-SET 2007 : Poznan, Poland, October 10-12, 2007 : Revised selected papers / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XI, 303 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - Poznan - 2007 |
| ISBN | 978-3-540-85278-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003160830203316 |
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable systems: software, computing, networks : Research results of the DICS program / Jurg Kohlas, Bertrand Meyer, André Schiper (Eds.)
| Dependable systems: software, computing, networks : Research results of the DICS program / Jurg Kohlas, Bertrand Meyer, André Schiper (Eds.) |
| Autore | KOHLAS, Jurg |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | XII, 294 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, State-of-the-Art- Survey |
| Soggetto topico | Software per computer |
| ISBN | 3-540-36821-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003073420203316 |
KOHLAS, Jurg
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007 : Zurich, Switzerland, February 5-6, 2007 : revised papers / Bertrand Meyer, Mathai Joseph (Eds.)
| Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007 : Zurich, Switzerland, February 5-6, 2007 : revised papers / Bertrand Meyer, Mathai Joseph (Eds.) |
| Autore | International conference, SEAFOOD 2007 : <1.; : 2007 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | X, 199 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Ingegneria del software - Congressi - Zurich - 2007 |
| ISBN | 3-540-75541-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003079480203316 |
|
International conference, SEAFOOD 2007 : <1.; : 2007
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and proofs : First international conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : Revised papers / Yuri Gureevich, Bertrand Meyer (Eds.)
| Tests and proofs : First international conference, TAP 2007 : Zurich, Switzerland, February 12-13, 2007 : Revised papers / Yuri Gureevich, Bertrand Meyer (Eds.) |
| Autore | International conference, TAP 2007 : <1.; : 2007 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | VIII, 216 p. : ill. ; 24 cm |
| Disciplina | 005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Ingegneria del software - Congressi - Zurich - 2007
Elaborazione dati - Congressi - Zurih - 2007 |
| ISBN | 978-3-540-73769-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003078250203316 |
|
International conference, TAP 2007 : <1.; : 2007
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified software: theories, tools, experiments : First IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, october 10-13, 2005 / Bertrand Meyer, Jim Woodcock (Eds.)
| Verified software: theories, tools, experiments : First IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, october 10-13, 2005 / Bertrand Meyer, Jim Woodcock (Eds.) |
| Autore | IFIP TC 2/WG 2.3 conference, VSTTE 2005 <1.; : 2005 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XXIII, 546 p. : ill. ; 24 cm |
| Disciplina | 001 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Congressi - Zurich - 2005 |
| ISBN | 978-3-540-69147-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003140640203316 |
|
IFIP TC 2/WG 2.3 conference, VSTTE 2005 <1.; : 2005
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||