DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
The propensity to truck, barter and exchange one thing for another is common to all men, and to be found in no other race of animals.
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer] Softcover Most items will be dispatched the same or the next working day. [Rossendale, LANCS, United Kingdom] [Publication Year: 1998]
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer] Softcover Most items will be dispatched the same or the next working day. [Rossendale, LANCS, United Kingdom] [Publication Year: 1998]
Palanque, Philippe (Editor), and Paterno, Fabio (Editor)
USD
51.65
Alibris /Alibris
London Springer 1997 Trade paperback New. Trade paperback (US). Glued binding. 376 p. Contains: Unspecified. Formal Approaches to Computing and Information Technology (F.
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer London] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 1998]
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer London] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 1998]
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer] Softcover pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam [Hounslow, United Kingdom] [Publication Year: 1998]
Paperback / softback. New. 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. ISBN 3540761586 9783540761587 [GB]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
