BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997

Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997

Design, Specification and Verification of Interactive Systems 97: Proceedings of
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 Paperback - 1997

by Harrison, Michael D

Add to wish list
  • Used
  • Paperback
Used: Good

Description

Springer, 1997-11-11. paperback. Used: Good. 6.69x0.76x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$222.24
A$21.72 Delivery within USA
Standard delivery: 12 to 14 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

  • Title Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
  • Author Harrison, Michael D
  • Binding Paperback
  • Edition N/A
  • Condition Used: Good
  • Pages 320
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY, U.S.A.
  • Publication date 1997-11-11
  • Illustrated Yes
  • Features Illustrated
  • Bookseller's Inventory # SONG3211830553
  • ISBN 9783211830550 / 3211830553
  • Weight 1.18 lbs (0.54 kg)
  • Dimensions 9.61 x 6.69 x 0.7 in (24.41 x 16.99 x 1.78 cm)
  • Size 6.69x0.76x9.61
  • Category Computers - General Information
  • Dewey Decimal Code 005.437
  • Quantity available 1

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997

From the publisher

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
tracking-