Jarir Logo

Design

Specification and Verification of Interactive Systems 98 : Proceedings of the Eurographics Workshop in AbingdonUKJune 3-51998

Printed Book
SR 471
Inclusive of VAT
Sold as: EACH
SR28Per Month/24 months
Author:Markopoulos, Panos
Date of Publication: 1998
Book classification:Computer & Technology,English Books
No. of pages:340 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR471
Incl. VAT

Choose your delivery preference

Or

About this Product

Does 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 contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.
Show more

Specifications

SKU9783211832127
Manufacturer Number9783211832127
year published1998
Show more

Report an issue with this product.

Customer Reviews