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 *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS
Stock photo: cover may vary

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998 Paperback - 1998

by PURGATHOFER, W.,

Add to wish list
  • New
New

Description

new.
Ask the seller a question Add to wish list
A$92.94
A$5.66 Delivery within USA
Standard delivery: 2 to 14 days
More delivery options
Ships from GreatBookPrices (Maryland, United States)

Details

About GreatBookPrices Maryland, United States

Biblio member since 2024

Since 1991, we have worked every day to serve our customers with state-of-the-art technology and world class service. We are dedicated to providing customers around the world with the widest selection of books, DVDs, and CDs at the absolute lowest price.

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

Browse books from GreatBookPrices

Reader reviews for DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998

From the publisher

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.
tracking-