Automated technology for Verification and Analysis : Second International Conference, ATVA 2004 : Taipei, Taiwan, ROC, October 31 - November 3, 2004 : Proceedings / Farn Wang... (Ed.) |
Autore | International conference, ATVA 2004 : < 2. ; : 2004 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
Descrizione fisica | XII, 506 p. : ill. ; 24 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Informatica - Congressi - 2004 |
ISBN | 3-540-23610-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002951670203316 |
International conference, ATVA 2004 : < 2. ; : 2004 | ||
Berlin [etc.] : Springer, copyr. 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference : Taipei. Taiwan, October 2-5, 2005 : proceedings / Farn Wang(Ed.) |
Autore | IFIP WG 6.1 International Conference : <25. ; : 2005 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
Descrizione fisica | XII, 558 p. : ill. ; 24 cm |
Disciplina | 004.36 |
Collana | Lecture notes in computer science |
Soggetto topico | Sistemi distribuiti - Congressi - Taipei - 20054 |
ISBN | 3-540-29189-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002964050203316 |
IFIP WG 6.1 International Conference : <25. ; : 2005 | ||
Berlin [etc.] : Springer, copyr. 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|