Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction)

0 avg rating
( 0 ratings by Goodreads )
 
9780521448673: Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction)

Format Paperback Subject Social Cultural Aspects of Technology Social Sciences General Miscellaneous Computer Business Culture Social Cultural Aspects of Technology Computers General Miscellaneous Publisher Cambridge University Press

"synopsis" may belong to another edition of this title.

Book Description:

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 62.00
US$ 52.55

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Book Condition: New. Reissue. Language: English . Brand New Book ***** Print on Demand *****.First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area. Bookseller Inventory # AAV9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.55
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Book Condition: New. Reissue. Language: English . Brand New Book ***** Print on Demand *****. First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area. Bookseller Inventory # AAV9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 54.78
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Harrison, Michael
Published by Cambridge University Press (2009)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 50.80
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Harrison, Michael
Published by Cambridge University Press (2009)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2009. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 46.90
Convert Currency

Add to Basket

Shipping: US$ 11.88
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Harrison, Michael
Published by Cambridge University Press (2016)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780521448673_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 53.86
Convert Currency

Add to Basket

Shipping: US$ 5.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

EDITED BY MICHAEL HARRISON , HAROLD THIMBLEBY
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description 2009. Paperback. Book Condition: NEW. 9780521448673 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0457857

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.33
Convert Currency

Add to Basket

Shipping: US$ 10.55
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Harrison, Michael [Editor]; Thimbleby, Harold [Editor];
Published by Cambridge University Press (2009)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: 10
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Paperback. Book Condition: New. Bookseller Inventory # INGM9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.16
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

8.

Published by Cambridge University Press
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Cambridge University Press. Paperback. Book Condition: New. Paperback. 344 pages. Dimensions: 9.6in. x 6.6in. x 0.9in.First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 76.96
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Michael Harrison (Editor), Harold Thimbleby (Editor)
Published by Cambridge University Press (2009)
ISBN 10: 0521448670 ISBN 13: 9780521448673
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Paperback. Book Condition: New. 1. Bookseller Inventory # DADAX0521448670

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 80.56
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

10.

Published by Cambridge University Press
ISBN 10: 0521448670 ISBN 13: 9780521448673
New PAPERBACK Quantity Available: > 20
Seller:
Russell Books
(Victoria, BC, Canada)
Rating
[?]

Book Description Cambridge University Press. PAPERBACK. Book Condition: New. 0521448670 Special order direct from the distributor. Bookseller Inventory # ING9780521448673

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 79.05
Convert Currency

Add to Basket

Shipping: US$ 7.00
From Canada to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book