Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 06810122

Nakladatelství Springer, Berlin, říjen 1997

Formal methods have already been shown to improve the development process and quality assurance in s... Celý popis

Libristo kód: 06810122

135 b

1 350 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

371 Kč

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

Brožovaná

402 Kč

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

Kniha

572 Kč

CALIGRAFÍA CON PINCEL GINA SERRET

Pevná

329 Kč

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Brožovaná

156 Kč

Berliner Barock Thomas Groß

Brožovaná

252 Kč

1+1=2 Ľuboslav Paľo

Pevná

160 Kč

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

Brožovaná

651 Kč

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

Brožovaná

1 115 Kč

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Pevná

3 414 Kč

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

Brožovaná

1 294 Kč

Amphitrite Theo-Peter Koesling

Pevná

813 Kč

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Pevná

1 873 Kč

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.