search for books and compare prices
By
Jasper Bark and
M. Harrison (editor)
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for Formal Methods in Human-Computer Interaction: Hardcover
Jump down to see edition details for The Inventions of Leonardo Da Vinci: Hardcover
Jump down to see edition details for The Inventions of Leonardo Da Vinci: Hardcover
Bibliographic Detail
Publisher
Cambridge Univ Pr
Publication date
March 1, 1990
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9780521372022
ISBN-10
052137202X
Dimensions
1 by 7.25 by 10.25 in.
Weight
1.65 lbs.
Availability§
Out of Print
Published in
Great Britain
Original list price
$78.99
Other format details
university press
§As reported by publisher
Summaries and Reviews
Amazon.com description: Product Description: 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.
Editions
Editions for the work Formal Methods in Human-Computer Interaction
Hardcover
The price comparison is for this edition
With Jasper Bark |
from Cambridge Univ Pr (March 1, 1990)
9780521372022 | details & prices | 7.25 × 10.25 × 1.00 in. | 1.65 lbs | List price $78.99
This edition also contains The Inventions of Leonardo Da Vinci
About: First published in 1990, this book discusses the application of formal methods to the human-computer interface.
This edition also contains The Inventions of Leonardo Da Vinci
About: First published in 1990, this book discusses the application of formal methods to the human-computer interface.
Editions for the work The Inventions of Leonardo Da Vinci
Hardcover
The price comparison is for this edition
With M. Harrison (other contributor) |
from Cambridge Univ Pr (March 1, 1990); titled "Formal Methods in Human-Computer Interaction"
9780521372022 | details & prices | 7.25 × 10.25 × 1.00 in. | 1.65 lbs | List price $78.99
This edition also contains Formal Methods in Human-Computer Interaction
About: First published in 1990, this book discusses the application of formal methods to the human-computer interface.
This edition also contains Formal Methods in Human-Computer Interaction
About: First published in 1990, this book discusses the application of formal methods to the human-computer interface.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.