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:
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 Michael D. Harrison (Editor); Juan C. Torres (Editor)

Add to wish list

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

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

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.

Details

  • Title Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
  • Author Michael D. Harrison (Editor); Juan C. Torres (Editor)
  • Binding Paperback
  • Edition N/A
  • Pages 320
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY, U.S.A.
  • Publication date 1997-11-11
  • Illustrated Yes
  • Features Illustrated
  • 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)
  • Category Computers - General Information
  • Dewey Decimal Code 005.437
Back to top↑

More Copies for Sale

Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The...
Stock photo: cover may vary

Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997

by Harrison, Michael D.;Torres, Juan Carlos;Torres, Juan C.

  • Used
  • as new
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
2
Seller
G3 Books
Biblio Top Seller
Item price
A$31.72
A$38.94 Delivery to USA

Show details

Description:
Seacaucs, New Jersey, U.S.A.: Springer-Verlag New York Inc, 1997 Still Wrapped
Add to wish list
Item price
A$31.72
A$38.94 Delivery to USA
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *97 - PROCEEDINGS OF THE...
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

by TORRES, J. C.,

  • New
  • Paperback
Condition
New
Edition
N/A
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
5
Seller
DELHI BOOK STORE
Item price
A$65.02
A$28.90 Delivery to USA

Show details

Description:
Springer, 1997. N/A. Paperback. New/New.
Add to wish list
Item price
A$65.02
A$28.90 Delivery to USA
Design, Specification and Verification of Interactive Systems '97 : Proceedings of the...

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

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
606
Seller
Ria Christie Collections
Item price
A$103.33
A$15.30 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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
Add to wish list
Item price
A$103.33
A$15.30 Delivery to USA
Design, Specification and Verification of Interactive Systems *97 - Proceedings of the...
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

  • New
Condition
New
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
1
Seller
Students Textbooks
Biblio Top Seller
Item price
A$78.12
A$21.68 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$78.12
A$21.68 Delivery to USA
Design, Specification and Verification of Interactive Systems '97: Proceedings of the...

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

by M.D. Harrison

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
10
Seller
The Saint Bookstore
Biblio Top Seller
Item price
A$109.32
A$19.05 Delivery to USA

Show details

Description:
Paperback / softback. New. An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. 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.
Add to wish list
Item price
A$109.32
A$19.05 Delivery to USA
Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics...
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

by Harrison, Michael D

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
1
Seller
Ergodebooks
Item price
A$91.93
Free Delivery to USA

Show details

Description:
Springer, 1997-11-11. paperback. New. 6.69x0.76x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$91.93
Free Delivery to USA
Design, Specification and Verification of Interactive Systems '97
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems '97

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
1
Seller
Cold Books
Item price
A$92.21
A$5.77 Delivery to USA

Show details

Description:
Springer , pp. 336 . Papeback. Used.
Add to wish list
Item price
A$92.21
A$5.77 Delivery to USA
Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics...
Stock photo: cover may vary

Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997

by Harrison, Michael D./ Torres, Juan Carlos

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
2
Seller
Revaluation Books
Item price
A$130.09
A$28.72 Delivery to USA

Show details

Description:
Springer-Verlag New York Inc, 1997. Paperback. New. 340 pages. 9.61x6.69x0.76 inches.
Add to wish list
Item price
A$130.09
A$28.72 Delivery to USA
Design, Specification and Verification of Interactive Systems '97
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems '97

by Harrison, M. D., & J. C. Torres, eds.

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
1
Seller
Zubal Books
Item price
A$132.41
A$6.50 Delivery to USA

Show details

Description:
Springer Wien, 1997. 320 pp., softcover, ex library, else text and binding clean, tight, and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add to wish list
Item price
A$132.41
A$6.50 Delivery to USA
Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics...
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

by Harrison, Michael D

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
1
Seller
Ergodebooks
Item price
A$179.58
Free Delivery to USA

Show details

Description:
Springer, 1997-11-11. paperback. Used: Good. 6.69x0.76x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$179.58
Free Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.