Artículos relacionados a Formal Methods for Interactive Systems (Computers and...

Formal Methods for Interactive Systems (Computers and People) - Tapa dura

 
9780122183157: Formal Methods for Interactive Systems (Computers and People)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Aceptable
Your purchase helps support Sri...
Ver este artículo

EUR 4,52 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Formal Methods for Interactive Systems (Computers and...

Imagen de archivo

Unknown, Author
Publicado por Academic Press, 1991
ISBN 10: 0122183150 ISBN 13: 9780122183157
Antiguo o usado Tapa dura

Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-J-011-02056

Contactar al vendedor

Comprar usado

EUR 12,71
Convertir moneda
Gastos de envío: EUR 4,52
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Author Unknown
Publicado por Academic Press, 1991
ISBN 10: 0122183150 ISBN 13: 9780122183157
Antiguo o usado Tapa dura

Librería: Ammareal, Morangis, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: F-934-096

Contactar al vendedor

Comprar usado

EUR 14,33
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dix, Alan John
ISBN 10: 0122183150 ISBN 13: 9780122183157
Antiguo o usado Tapa dura

Librería: Bingo Used Books, Vancouver, WA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Fine. hardback in near fine condition. Nº de ref. del artículo: 52913

Contactar al vendedor

Comprar usado

EUR 11,32
Convertir moneda
Gastos de envío: EUR 29,77
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Alan John Dix
Publicado por Elsevier, 1991
ISBN 10: 0122183150 ISBN 13: 9780122183157
Antiguo o usado Tapa dura

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Used. pp. 384. Nº de ref. del artículo: 2645381099

Contactar al vendedor

Comprar usado

EUR 76,30
Convertir moneda
Gastos de envío: EUR 9,78
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dix Alan John
Publicado por Elsevier, 1991
ISBN 10: 0122183150 ISBN 13: 9780122183157
Antiguo o usado Tapa dura

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Used. pp. 384. Nº de ref. del artículo: 46385716

Contactar al vendedor

Comprar usado

EUR 77,68
Convertir moneda
Gastos de envío: EUR 10,17
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Dix Alan John
Publicado por Elsevier, 1991
ISBN 10: 0122183150 ISBN 13: 9780122183157
Antiguo o usado Tapa dura

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Used. pp. 384. Nº de ref. del artículo: 1845381089

Contactar al vendedor

Comprar usado

EUR 80,88
Convertir moneda
Gastos de envío: EUR 14,50
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito