Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.) |
Autore | International conference on tools and algorithms for the construction and analysis of systems : <10.; : 2004 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
Descrizione fisica | XIV, 608 p. : ill. ; 24 cm |
Collana | Lecture notes in computer science |
ISBN | 3-540-21299-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002415780203316 |
International conference on tools and algorithms for the construction and analysis of systems : <10.; : 2004
![]() |
||
Berlin [etc.] : Springer, copyr. 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski(Ed.) |
Pubbl/distr/stampa | Berlin : Springer, [c2007] |
Descrizione fisica | XI, 394 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Programmazione - Congressi - Nice - 2007 |
ISBN | 3-540-69735-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002997870203316 |
Berlin : Springer, [c2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|