Info
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (Eds.)
| 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (Eds.) |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 2008 |
| Descrizione fisica | VI, 230 p. : ill. ; 24 cm |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science, Festschrift |
| Soggetto topico | Sistemi Complessi |
| ISBN | 978-3-540-69849-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003147120203316 |
| Berlin (etc.) : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg...[et al.] (Eds.)
| Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg...[et al.] (Eds.) |
| Autore | GRUMBERG, Orna |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
| Descrizione fisica | VIII, 244 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science, Festschrift |
| Soggetto topico | Software per computer - Programmazione |
| ISBN | 978-3-642-01747-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003325130203316 |
GRUMBERG, Orna
|
||
| Berlin [etc.] : Springer, copyr. 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007 : Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March/April 2007 : proceedings / Orna Grumberg, Michael Huth (Eds.)
| Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007 : Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March/April 2007 : proceedings / Orna Grumberg, Michael Huth (Eds.) |
| Autore | International Conference, TACAS 2007-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : <13; : 2007; > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | XX, 738 p. : ill. ; 24 cm |
| Collana | Lecture notes in computer science |
| ISBN | 978-3-540-71208-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002990430203316 |
|
International Conference, TACAS 2007-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : <13; : 2007; >
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||