Interactive systems : design, specification, and verification : 8th International workshop, DSV-IS 2001 : Glasgow, Scotland, UK, June 13-15, 2001 / Chris Johnson (ed.)

• Record Nr.: UNISA990000954190203316
• Autore: International workshop DSV-IS 2001 <8. ; 2001 ; Glasgow, UK>
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 2001
• ISBN: 3-540-42807-0
• Descrizione fisica: XII, 217 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2220
• Disciplina: 004.21
• Collocazione: 001 LNCS (2220)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia