Titre: "Design, Specification and Verification of Interactive Systems '97": "Proceedings Of The Eurographics Workshop In Granada, Spain, June 4?6, 1997"
�diteur: Springer 2013-10-04
Date de parution: 2013
Langue: anglais
ISBN � 10 chiffres: 3211830553
ISBN � 13 chiffres: 9783211830550
Reliure: Paperback
�tat de l'article: New

A propos de ce titre

Synopsis

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

TBA

Conditions d'exp�dition

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.