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.
25 Years of Model Checking [Risorsa elettronica] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [Risorsa elettronica] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540698500 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009253960403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided verification : 9th International conference, CAV'97 : Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
| Computer aided verification : 9th International conference, CAV'97 : Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.) |
| Autore | International conference CAV'97 : 9. : 1997 |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | XI, 486 p. : ill. ; 23 cm |
| Disciplina | 003 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - haifa - 1997
sistemi distribuiti - congressi - 1997 sistemi - verifica - congressi - 1997 |
| ISBN | 3-540-63166-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206250203316 |
International conference CAV'97 : 9. : 1997
|
||
| Berlin : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Languages: From Formal to Natural [Risorsa elettronica] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / 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, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
| Languages: From Formal to Natural [Risorsa elettronica] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / 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, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642017483 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009260270403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model checking / Edmund Clarke jr., Orna Grumberg and Doron A. Peled
| Model checking / Edmund Clarke jr., Orna Grumberg and Doron A. Peled |
| Autore | Clarke, Edmund M. |
| Pubbl/distr/stampa | Cambridge, Mass. : MIT Press, c1999 |
| Descrizione fisica | xiv, 314p. ; 24 cm |
| Disciplina | 004.2'1 |
| Altri autori (Persone) |
Grumberg, Orna
Peled, Doron A. |
| Soggetto non controllato |
Analisi e progettazione dei sistemi
Valutazione delle prestazioni Sistemi di computer - verifiche |
| ISBN |
0-262-03270-8
978-0-262-03270-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001504930403321 |
|
Clarke, Edmund M.
|
||
| Cambridge, Mass. : MIT Press, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled
| Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled |
| Autore | Clarke, Edmund M. <1945- > |
| Pubbl/distr/stampa | Cambridge, Mass. ; London, : The MIT press, 1999 |
| Descrizione fisica | XIV, 314 p. : ill. ; 24 cm. |
| Disciplina |
004.2
004.21 |
| Altri autori (Persone) |
Grumberg, Orna
Peled, Doron A. <1962- > |
| Soggetto topico | Elaboratori - Valutazione |
| ISBN | 0262032708 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-RMS0080223 |
|
Clarke, Edmund M. <1945- >
|
||
| Cambridge, Mass. ; London, : The MIT press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal
| Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540712091 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009236400403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||