Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Limba

engleză

Carte Carte broșată

Codul Libristo: 06810122

Editura Springer, Berlin, octombrie 1997

Formal methods have already been shown to improve the development process and quality assurance in s... Descrierea completă

Codul Libristo: 06810122

141 b

305.89 lei

În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

95.14 lei

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

Carte broșată

95.86 lei

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

Carte

123.70 lei

CALIGRAFÍA CON PINCEL GINA SERRET

Copertă tare

71.14 lei

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Carte broșată

37.17 lei

Berliner Barock Thomas Groß

Carte broșată

54.52 lei

1+1=2 Ľuboslav Paľo

Copertă tare

35.72 lei

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

Carte broșată

154.45 lei

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

Carte broșată

271.20 lei

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Copertă tare

820.27 lei

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

Carte broșată

312.75 lei

Amphitrite Theo-Peter Koesling

Copertă tare

197.66 lei

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Copertă tare

451.62 lei

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.