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 '96

Design, Specification and Verification of Interactive Systems '96

Design, Specification and Verification of Interactive Systems '96
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems '96 Papeback -

by Francois Bodart (Editor); Jean Vanderdonckt (Editor)

Add to wish list
  • New
New

Description

Springer , pp. 404 . Papeback. New.
Ask the seller a question Add to wish list
A$141.85
A$5.82 Delivery within USA
Standard delivery: 9 to 14 days
More delivery options
Ships from Cold Books (New York, United States)

Details

  • Title Design, Specification and Verification of Interactive Systems '96
  • Author Francois Bodart (Editor); Jean Vanderdonckt (Editor)
  • Binding Papeback
  • Edition N/A
  • Condition New
  • Pages 383
  • Volumes 1
  • Language ENG
  • Publisher Springer , Secaucus, New Jersey, U.S.A.
  • Publication date pp. 404
  • Illustrated Yes
  • Features Illustrated
  • Bookseller's Inventory # 63140255
  • ISBN 9783211829004 / 3211829008
  • Weight 1.41 lbs (0.64 kg)
  • Dimensions 9.61 x 6.69 x 0.83 in (24.41 x 16.99 x 2.11 cm)
  • Category Gardening / Horticulture
  • Dewey Decimal Code 006.6
  • Quantity available 4

About Cold Books New York, United States

Biblio member since 2012

Terms of Sale: 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Cold Books

Reader reviews for Design, Specification and Verification of Interactive Systems '96

From the publisher

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer's work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.

From the rear cover

To manage communication between users and applications it is important to have tools, notations, and methodologies which support the designer's work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.
tracking-