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.
Algebraic Methodology and Software Technology [Risorsa elettronica] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Meseguer, Grigore Rosu
| Algebraic Methodology and Software Technology [Risorsa elettronica] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Meseguer, Grigore Rosu |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540799801 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009256040403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Approaches to Software Testing and Runtime Verification [Risorsa elettronica] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, M
| Formal Approaches to Software Testing and Runtime Verification [Risorsa elettronica] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, M |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540497035 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009245270403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||