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.
Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others]
| Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others] |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2007 |
| Descrizione fisica | 1 online resource (vii, 71 pages) |
| Disciplina | 004.678 |
| Soggetto topico |
Internet
World Wide Web |
| ISBN | 1-5090-9633-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202090503316 |
| Los Alamitos, California : , : IEEE Computer Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others]
| Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) : special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others] |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2007 |
| Descrizione fisica | 1 online resource (vii, 71 pages) |
| Disciplina | 004.678 |
| Soggetto topico |
Internet
World Wide Web |
| ISBN | 1-5090-9633-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142660603321 |
| Los Alamitos, California : , : IEEE Computer Society, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||