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]

• Record Nr.: UNINA9910142660603321
• Pubbl/distr/stampa: Los Alamitos, California : , : IEEE Computer Society, , 2007
• ISBN: 1-5090-9633-7
• Descrizione fisica: 1 online resource (vii, 71 pages)
• Disciplina: 004.678
• Soggetti: Internet; World Wide Web
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph