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.
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.
Seller: G3 Books, Winnipeg, MB, Canada
Soft cover. Condition: As New. Still Wrapped. Seller Inventory # 012769
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. *FREE DOMESTIC SHIPPING until Mnoday, Oct. 19* 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
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-379712
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-154922
Seller: Books Puddle, Woodside, NY, U.S.A.
Condition: Used. pp. 336. Seller Inventory # 263156384
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783211830550
Quantity: 20 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. 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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 20196382
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 20196382-n
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: Used. pp. 336. Seller Inventory # 183156394