Formally-based Tools and Techniques for Human-computer Dialogues

Formally-based Tools and Techniques for Human-computer Dialogues
Author :
Publisher : Ellis Horwood
Total Pages : 172
Release :
ISBN-10 : UOM:39015012764802
ISBN-13 :
Rating : 4/5 ( 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 172 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: 172
Authors: Heather Alexander
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: Ellis Horwood

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
Z User Workshop, York 1991
Language: en
Pages: 404
Authors: J. E. Nicholls
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x
FGCS '92
Language: en
Pages: 788
Authors:
Categories: Computer architecture
Type: BOOK - Published: 1992 - Publisher: IOS Press

DOWNLOAD EBOOK