Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods in Human-Computer Interaction

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

Philippe Palanque

Fabio Paterno

Língua

Inglês

Livro Capa mole

Código Libristo: 06810122

Editoras Springer, Berlin, outubro 1997

Formal methods have already been shown to improve the development process and quality assurance in s... Descrição completa

Código Libristo: 06810122

122 b

50.63 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

16.50 €

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

Capa mole

14.88 €

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

Livro

19.44 €

CALIGRAFÍA CON PINCEL GINA SERRET

Livro de capa dura

11.03 €

Bitkilerin Renkli Dünyasi Hekimoglu Ismail

Capa mole

6.07 €

Berliner Barock Thomas Groß

Capa mole

8.80 €

1+1=2 Ľuboslav Paľo

Livro de capa dura

6.17 €

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

Capa mole

24.30 €

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

Capa mole

43.24 €

Politische Sprachberatung als Symbiose von Linguistik und Sprachkritik Kersten Sven Roth

Livro de capa dura

133.48 €

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

Capa mole

50.43 €

Amphitrite Theo-Peter Koesling

Livro de capa dura

31.49 €

Rechtliche Regelung Der Embryonenforschung Im Internationalen Vergleich Jochen Taupitz

Livro de capa dura

73.12 €

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.