Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 06810122

Založba Springer, Berlin, oktober 1997

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

Koda Libristo: 06810122

129 b

53.25 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Mehka

15.99 €

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

Mehka

16.60 €

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

Knjiga

21.56 €

CALIGRAFÍA CON PINCEL GINA SERRET

Trda

12.24 €

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Mehka

6.47 €

Berliner Barock Thomas Groß

Mehka

9.31 €

1+1=2 Ľuboslav Paľo

Trda

6.07 €

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

Mehka

26.93 €

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

Mehka

46.17 €

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Trda

141.25 €

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

Mehka

53.56 €

Amphitrite Theo-Peter Koesling

Trda

33.61 €

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Trda

77.46 €

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.