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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|