Paperback. An increasing recognition of the role of 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 volume seeks to reflect the state of the art in this area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study. An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Bestandsnummer des Verk�ufers 9783211830550

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Design, Specification and Verification of Interactive Systems 97 (Paperback)
Verlag: Springer Verlag GmbH, Vienna
Erscheinungsjahr: 1997
Sprache: Englisch
ISBN-10: 3211830553
ISBN-13: 9783211830550
Einband: Paperback
Zustand: new

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

The Nile Group Pty Ltd
42 Apex Drive, Truganina, VIC, 3029, Australia

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Widerrufsbelehrung

Versandbedingungen

Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.

Versandkosten von Australien nach Deutschland

Versandkosten von Australien nach Deutschland
Bestellmenge	25 bis 60�Werktage	8 bis 59�Werktage
Erster Artikel	EUR 31.85	EUR 37.87

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.