Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Lingua

Inglese

Libro In brossura

Codice Libristo: 06810122

Casa editrice Springer, Berlin, ottobre 1997

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

Codice Libristo: 06810122

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

18.99 €

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

In brossura

18.09 €

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

Libro

23.39 €

CALIGRAFÍA CON PINCEL GINA SERRET

Rigido

13.39 €

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

In brossura

6.99 €

Berliner Barock Thomas Groß

In brossura

10.79 €

1+1=2 Ľuboslav Paľo

Rigido

7.19 €

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

In brossura

29.19 €

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

In brossura

51.19 €

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Rigido

154.89 €

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

In brossura

59.09 €

Amphitrite Theo-Peter Koesling

Rigido

37.29 €

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Rigido

85.29 €

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.