Items related to Interactive Systems: Design, Specification, and Verification...

Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca DI Magra, Italy, June 1994 (Focus on Computer Graphics) - Hardcover

 
9783540594802: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca DI Magra, Italy, June 1994 (Focus on Computer Graphics)

Synopsis

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.

"synopsis" may belong to another edition of this title.

Synopsis

These conference proceedings review the state of the art in systems design, specification and verification. The book compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Good
*Price HAS BEEN reduced by 10%...
View this item

£ 13.30 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 22.17 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9783642871177: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)

Featured Edition

ISBN 10:  3642871178 ISBN 13:  9783642871177
Publisher: Springer, 2012
Softcover

Search results for Interactive Systems: Design, Specification, and Verification...

Stock Image

Paterno, Fabio, ed.
Published by Springer, 1995
ISBN 10: 3540594809 ISBN 13: 9783540594802
Used Hardcover

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. *Price HAS BEEN reduced by 10% until Monday, Aug. 18 (weekend SALE item)* 444 pp., hardcover, ex library, else text and binding still 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 # ZB373506

Contact seller

Buy Used

£ 9.24
Convert currency
Shipping: £ 13.30
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ed. Paterno, Fabio
Published by Springer, 1995
ISBN 10: 3540594809 ISBN 13: 9783540594802
New Hardcover First Edition

Seller: BOOKWEST, Phoenix, AZ, U.S.A.

Seller rating 3 out of 5 stars 3-star rating, Learn more about seller ratings

Hardcover. Condition: New. 1st Edition. US SELLER SHIPS FAST FROM USA. Seller Inventory # 151B1-3540594809

Contact seller

Buy New

£ 15.22
Convert currency
Shipping: £ 22.17
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Hrsg. v. Paterno, Fabio
Published by Springer Berlin, 1995
ISBN 10: 3540594809 ISBN 13: 9783540594802
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 16705/202

Contact seller

Buy Used

£ 36.42
Convert currency
Shipping: £ 7.66
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket