Design, Specification and Verification of Interactive Systems 98 : Proceedings of the Eurographics Workshop in Abingdon, UK, June 35, 1998

Springer Verlag GmbH

Design, Specification and Verification of Interactive Systems \u201998: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3\u20135, 1998\nby Panos Markopoulos\nPaperback\nEnglish\n\nBrand new copy from BookCurl \u2013 the UK independent online bookseller.\n\n------------------------------\nBook details\n------------------------------\nAuthor: Panos Markopoulos\nTitle: Design, Specification and Verification of Interactive Systems \u201998: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3\u20135, 1998\nFormat: Paperback\nLanguage: English\nTopic: Human\u2013computer interaction\nPublisher: Springer Verlag GmbH\nPublication year: 1998\nISBN-13: 9783211832127\nISBN-10: 3211832122\nRRP: \u00A344.99\n\n------------------------------\nDescription\n------------------------------\nDoes modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of cont.