Formal techniques for computer systems and business processes : european performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings / Mario Bravetti, Leila Kloul, Gianluigi Zavattaro (eds.)

• Record Nr.: UNISA990002964550203316
• Autore: International symposium, SAS 2005 : <2005
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2005
• ISBN: 3-540-28584-9
• Descrizione fisica: XIII, 348 p. : ill. ; 24 cm.
• Collana: Lecture notes in computer science ; 3670
• Disciplina: 005.1
• Soggetti: Informatica - Congressi - Versailles - 2005
• Collocazione: 001 LNCS 3670
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia