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 Eurograhics Workshop In Granada, Spain, June 4-6, 1997

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

Design, Specification And Verification Of Interactive Systems '97:
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 Soft cover - 1997

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

Add to wish list
  • Used
  • as new
  • Paperback
New

Description

Seacaucs, New Jersey, U.S.A.: Springer-Verlag New York Inc, 1997 Still Wrapped
Ask the seller a question Add to wish list
A$32.04
A$39.34 Delivery to USA
Standard delivery: 2 to 10 days
More delivery options
Ships from G3 Books (Canada)

Details

  • Title Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997
  • Author Harrison, Michael D.;Torres, Juan Carlos;Torres, Juan C
  • Binding Paperback
  • Edition N/A
  • Condition New
  • Pages 320
  • Volumes 1
  • Language ENG
  • Publisher Springer-Verlag New York Inc, Seacaucs, New Jersey, U.S.A.
  • Publication date 1997
  • Illustrated Yes
  • Features Illustrated
  • Bookseller's Inventory # 012769
  • 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
  • Quantity available 2

About G3 Books Canada

Biblio member since 2005

G3 Books, located in Winnipeg (about the centre of Canada) strives to provide high quality books, and sincere customer service, at a low price. Our online address is www.g3books.ca

Terms of Sale:

Books will be shipped on the same or next business day. We accept Visa, MasterCard, and American Express. Books may be returned within 30 days of purchase for refund of the purchase price less cost of original shipping.

Browse books from G3 Books

Reader reviews for Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics 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-