Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Brand: Springer, Berlin
SKU: 06810122
Price: 60.39 EUR
Availability: InStock
Author: Philippe Palanque
ISBN: 9783540761587

Philippe Palanque

Fabio Paterno

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 06810122

Editores Springer, Berlin, octubre 1997

Formal methods have already been shown to improve the development process and quality assurance in s... Descripción completa

Código Libristo: 06810122

148 b

60.39 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

Dissertation Historique Et Dogmatique Sur l'Indissolubilite Absolue Du Mariage Et Le Divorce Chrestien-De-Poly-J-P

Tapa blanda

18.09 €

BASICO DE PREVENCION DE RIESGOS LABORALES PARA EL SECTOR FAR GARCIA SEGURA

Libro

22.79 €

CALIGRAFÍA CON PINCEL GINA SERRET

Tapa dura

12.99 €

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Tapa blanda

7.39 €

Berliner Barock Thomas Groß

Tapa blanda

10.99 €

1+1=2 Ľuboslav Paľo

Tapa dura

7.29 €

Nouvelle Anatomie Artistique Du Corps Humain. Tome 2 Richer-P

Tapa blanda

29.19 €

Sredstva rechevoj vyrazitel'nosti v textah sudebnogo krasnorechiya Gul'nara Gimadieva

Tapa blanda

54.09 €

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Tapa dura

162.69 €

Die Verordnung uber Anlagen zum Umgang mit wassergefahrdenden Stoffen (AwSV 2017) Hans-Werner Nordhues

Tapa blanda

62.19 €

Amphitrite Theo-Peter Koesling

Tapa dura

39.39 €

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Tapa dura

89.69 €

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.