Items related to Design, Specification and Verification of Interactive...
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.
Product Description
Design, Specification and Verification of Interactive Systems: '97 This volume seeks to reflect the state of the art in the area of design, specification and verification of interactive systems. It also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date1997
- ISBN 10 3211830553
- ISBN 13 9783211830550
- BindingPaperback
- LanguageEnglish
- Number of pages328
- EditorHarrison Michael D., Torres Juan C.
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. *Price HAS BEEN REDUCED by 10% until Monday, May 12 (weekend SALE item)* 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
Quantity: 1 available
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 4 out of 5 stars
Soft cover. Condition: As New. Still Wrapped. Seller Inventory # 012769
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
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '97
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 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
Quantity: 1 available
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
Quantity: Over 20 available
Stock Image
Design, Specification and Verification of Interactive Systems '97
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 336. Seller Inventory # 183156394
Quantity: 1 available
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
Quantity: Over 20 available
Stock Image
Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783211830550_new
Quantity: Over 20 available
Stock Image
"Design, Specification and Verification of Interactive Systems '97": "Proceedings Of The Eurographics Workshop In Granada, Spain, June 4?6, 1997"
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783211830550
Quantity: 10 available
Seller Image
Design, Specification and Verification of Interactive Systems ¿97 : Proceedings of the Eurographics Workshop in Granada, Spain, June 4¿6, 1997
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783211830550
Quantity: 1 available