Formally-based Tools and Techniques for Human-computer Dialogues

Formally-based Tools and Techniques for Human-computer Dialogues
Author :
Publisher : Ellis Horwood
Total Pages : 210
Release :
ISBN-10 : UCAL:B4344297
ISBN-13 :
Rating : 4/5 (97 Downloads)

Book Synopsis Formally-based Tools and Techniques for Human-computer Dialogues by : Heather Alexander

Download or read book Formally-based Tools and Techniques for Human-computer Dialogues written by Heather Alexander and published by Ellis Horwood. This book was released on 1987 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Formally-based Tools and Techniques for Human-computer Dialogues Related Books

Formally-based Tools and Techniques for Human-computer Dialogues
Language: en
Pages: 210
Authors: Heather Alexander
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: Ellis Horwood

DOWNLOAD EBOOK

Formally-based Tools and Techniques for Human-computer Dialogues
Language: en
Pages: 172
Authors: Heather Alexander
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: Ellis Horwood

DOWNLOAD EBOOK

Formally-Based Tools and Techniques for Human-Computer Dialogues
Language: en
Pages: 396
Authors: Heather Alexander
Categories: Computers
Type: BOOK - Published: 1987-11-01 - Publisher: Ellis Horwood Limited

DOWNLOAD EBOOK

Formal Methods in Human-Computer Interaction
Language: en
Pages: 352
Authors: Michael Harrison
Categories: Computers
Type: BOOK - Published: 1990-02-22 - Publisher: CUP Archive

DOWNLOAD EBOOK

Discusses the application of formal methods - the attempt to provide methods that rigorously and unambiguously describe the behavior of a computer program or sy
Formal Methods in Human-Computer Interaction
Language: en
Pages: 382
Authors: Philippe Palanque
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whethe