Vai al contenuto principale della pagina
Titolo: | 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 |
Pubblicazione: | Berlin ; Heidelberg : Springer, 2008 |
Persona (resp. second.): | Boer, Frank S. |
Bonsangue, Marcello M. | |
Graf, Susanne | |
Hutchison, David | |
Kanade, Takeo | |
Kittler, Josef | |
Kleinberg, Jon M. | |
Mattern, Friedemann | |
Mitchell, John C. | |
Naor, Moni | |
Nierstrasz, Oscar | |
Pandu Rangan, C. | |
Roever, Willem-Paul | |
Steffen, Bernhard | |
Sudan, Madhu | |
Terzopoulos, Demetri | |
Tygar, Doug | |
Vardi, Moshe Y. | |
Weikum, Gerhard | |
Type File/ Data Note: | Formato html, pdf |
Requisiti sistema: | Formato html, pdf |
Titolo autorizzato: | Formal Methods for Components and Objects |
ISBN: | 9783540921882 |
Formato: | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990009258800403321 |
Lo trovi qui: | Univ. Federico II |
Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/978-3-540-92188-2 |
Opac: | Controlla la disponibilità qui |