Computer Aided Verification [Risorsa elettronica] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 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, Ahmed Bouajjani, Oded Maler
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Computer Aided Verification [Risorsa elettronica] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 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, Ahmed Bouajjani, Oded Maler
|
| Pubblicazione: | Berlin ; Heidelberg : Springer, 2009 |
| Persona (resp. second.): | Bouajjani, Ahmed |
| Hutchison, David | |
| Kanade, Takeo | |
| Kittler, Josef | |
| Kleinberg, Jon M. | |
| Maler, Oded | |
| Mattern, Friedemann | |
| Mitchell, John C. | |
| Naor, Moni | |
| Nierstrasz, Oscar | |
| Pandu Rangan, C. | |
| 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: | Computer Aided Verification |
| ISBN: | 9783642026584 |
| Formato: | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990009261080403321 |
| Lo trovi qui: | Univ. Federico II |
| Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/978-3-642-02658-4 |
| Opac: | Controlla la disponibilità qui |