Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997 - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Design, Specification and Verification of Interactive...
Stock Image
Design, Specification and Verification of Interactive Systems '97
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 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. Seller Inventory # ZB356302
Stock Image
Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997
Published by
Springer-Verlag New York Inc, Seacaucs, New Jersey, U.S.A., 1997
ISBN 10: 3211830553
ISBN 13: 9783211830550
Used
Soft cover
Seller: G3 Books, Winnipeg, MB, Canada
Seller rating 5 out of 5 stars
Soft cover. Condition: As New. Still Wrapped. Seller Inventory # 012769
Buy Used
US$ 21.95
US$ 29.99 shipping
Ships from Canada to U.S.A.
Ships from Canada to U.S.A.
Quantity: 2 available
Stock Image
Design, Specification and Verification of Interactive Systems '97
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 336. Seller Inventory # 263156384
Stock Image
Design, Specification and Verification of Interactive Systems '97
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 336 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 4691583
Buy New
US$ 49.30
US$ 8.99 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Design, Specification And Verification Of Interactive Systems '97 : Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 20196382-n
Stock Image
Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020085254
Stock Image
Design, Specification and Verification of Interactive Systems '97
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 336. Seller Inventory # 183156394
Buy New
US$ 53.99
US$ 11.96 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems 97 (Paperback)
Published by
Springer Verlag GmbH, Vienna, 1997
ISBN 10: 3211830553
ISBN 13: 9783211830550
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. An increasing recognition of the role of 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 volume seeks to reflect the state of the art in this area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783211830550
Seller Image
Design, Specification And Verification Of Interactive Systems '97 : Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 20196382
Stock Image
Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783211830550