Formal Methods for Interactive Systems - Rilegato

Dix, Alan John

 
9780122183157: Formal Methods for Interactive Systems
Rilegato
ISBN 10: 0122183150 ISBN 13: 9780122183157
Casa editrice: Academic Pr, 2000

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Unknown Author

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Academic Pr
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0122183150
ISBN 13 
9780122183157
Rilegatura
Copertina rigida
Numero di pagine
384
Contatto del produttore
non disponibile
Persona responsabile
non disponibile