Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Language

English

Book Paperback

Libristo code: 06810122

Publishers Springer, Berlin, October 1997

Formal methods have already been shown to improve the development process and quality assurance in s... Full description

Libristo code: 06810122

152 b

22 608 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Hardback

32 028 Ft

Felnőtt gyerekirodalom Lovász Andrea (szerk.)

Hardback

3 770 Ft

Bibliomania Kunstmuseum Villa Zanders

Hardback

13 977 Ft

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

Book

8 486 Ft

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

Paperback

19 290 Ft

CALIGRAFÍA CON PINCEL GINA SERRET

Hardback

4 853 Ft

Amphitrite Theo-Peter Koesling

Hardback

14 047 Ft

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

Paperback

22 190 Ft

Marguerite Duras Cecile Hanania

Paperback

41 344 Ft

Ratschlage fur Auswanderer nach Sudbrasilien R Jannasch

Paperback

6 012 Ft

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Paperback

3 989 Ft

Berliner Barock Thomas Groß

Paperback

3 661 Ft

1+1=2 Ľuboslav Paľo

Hardback

2 455 Ft

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Hardback

58 133 Ft

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

Paperback

6 059 Ft

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

Paperback

9 617 Ft

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.