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.
Formal Methods for Components and Objects [Risorsa elettronica] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine
| Formal Methods for Components and Objects [Risorsa elettronica] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642041679 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009262160403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [Risorsa elettronica] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / 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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
| Formal Methods for Components and Objects [Risorsa elettronica] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / 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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540921882 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258800403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [Risorsa elettronica] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem
| Formal Methods for Components and Objects [Risorsa elettronica] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540747925 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009244350403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [Risorsa elettronica] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem
| Formal Methods for Components and Objects [Risorsa elettronica] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540367505 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009250550403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [Risorsa elettronica] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem
| Formal Methods for Components and Objects [Risorsa elettronica] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540319399 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009237970403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Open Object-Based Distributed Systems [Risorsa elettronica] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen
| Formal Methods for Open Object-Based Distributed Systems [Risorsa elettronica] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540729525 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009240940403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||