Formal Methods For Interactive Systems

Dix Alan John

ISBN 10: 0122183150 ISBN 13: 9780122183157

Verlag: Elsevier, 1991

Sprache: Englisch

Gebraucht Zustand: Used Hardcover

F�r sp�ter vormerken

Verkauft von Majestic Books, Hounslow, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 19. Januar 2007

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Used

Preis: EUR 78,08 W�hrung umrechnen

EUR 10,21 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. 384.

Bestandsnummer des Verk�ufers 46385716

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Methods For Interactive Systems
Verlag: Elsevier
Erscheinungsjahr: 1991
Sprache: Englisch
ISBN-10: 0122183150
ISBN-13: 9780122183157
Einband: Hardcover
Zustand: Used

�ber diesen Titel

Inhaltsangabe

Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems.

Rese�a del editor

Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems.

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

Anbieterinformationen

We specialise in General Interest Books from South Asian countries.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Returns accepted if you are not satisfied with the Service or Book.

Versandbedingungen

Best packaging and fast delivery

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen