Integrated Formal Methods [Risorsa elettronica] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. 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, Michael Leuschel, Heike Wehrheim
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Integrated Formal Methods [Risorsa elettronica] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. 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, Michael Leuschel, Heike Wehrheim
|
| Pubblicazione: | Berlin ; Heidelberg : Springer, 2009 |
| Persona (resp. second.): | Hutchison, David |
| Kanade, Takeo | |
| Kittler, Josef | |
| Kleinberg, Jon M. | |
| Leuschel, Michael | |
| Mattern, Friedemann | |
| Mitchell, John C. | |
| Naor, Moni | |
| Nierstrasz, Oscar | |
| Pandu Rangan, C. | |
| Steffen, Bernhard | |
| Sudan, Madhu | |
| Terzopoulos, Demetri | |
| Tygar, Doug | |
| Vardi, Moshe Y. | |
| Wehrheim, Heike | |
| Weikum, Gerhard | |
| Type File/ Data Note: | Formato html, pdf |
| Requisiti sistema: | Formato html, pdf |
| Titolo autorizzato: | Integrated Formal Methods |
| ISBN: | 9783642002557 |
| Formato: | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990009259290403321 |
| Lo trovi qui: | Univ. Federico II |
| Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/978-3-642-00255-7 |
| Opac: | Controlla la disponibilità qui |