Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 06810122

Nakladnici Springer, Berlin, listopad 1997

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

Libristo kod: 06810122

135 b

55.73 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Priznania štyridsiatničky, ktorá si pos*ala život Alexandra Potter

Meki uvez

17.05 €

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

Meki uvez

17.36 €

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

Knjiga

22.51 €

CALIGRAFÍA CON PINCEL GINA SERRET

Tvrdi uvez

12.91 €

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Meki uvez

6.75 €

Berliner Barock Thomas Groß

Meki uvez

9.88 €

1+1=2 Ľuboslav Paľo

Tvrdi uvez

6.45 €

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

Meki uvez

28.16 €

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

Meki uvez

48.86 €

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Tvrdi uvez

148.62 €

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

Meki uvez

56.53 €

Amphitrite Theo-Peter Koesling

Tvrdi uvez

35.63 €

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Tvrdi uvez

81.67 €

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.