Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Език

Английски език

Книга С меки корици

Код Либристо: 06810122

Издателство Springer, Berlin, октомври 1997

Formal methods have already been shown to improve the development process and quality assurance in s... Цялото описание

Код Либристо: 06810122

148 b

61.15 €

119.61 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

19.26 € 37.67 лв

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

С меки корици

17.45 € 34.12 лв

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

Книга

24.75 € 48.40 лв

CALIGRAFÍA CON PINCEL GINA SERRET

С твърди корици

14.24 € 27.84 лв

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

С меки корици

7.09 € 13.87 лв

Berliner Barock Thomas Groß

С меки корици

10.97 € 21.46 лв

1+1=2 Ľuboslav Paľo

С твърди корици

7.24 € 14.17 лв

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

С меки корици

28.27 € 55.29 лв

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

С меки корици

51.88 € 101.48 лв

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

С твърди корици

156.91 € 306.88 лв

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

С меки корици

59.86 € 117.07 лв

Amphitrite Theo-Peter Koesling

С твърди корици

37.80 € 73.93 лв

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

С твърди корици

86.42 € 169.03 лв

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.