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 (Springer Computer Science,)

Design, Specification and Verification of Interactive Systems `98: Proceedings of the Eurographics Workshop in Abingdon, U.K., June 3-5, 1998 (Springer Computer Science,)

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 (Springer Computer Science,) Paperback - 1998

by Markopoulos, Panos

Add to wish list
  • New
  • Paperback
New

Description

Springer, 1998. Paperback. New. 326 pages. 9.25x6.50x0.50 inches.
Ask the seller a question Add to wish list
A$129.39
A$48.06 Delivery to USA
Standard delivery: 7 to 14 days
More delivery options
Ships from Revaluation Books (Devon, United Kingdom)

Details

About Revaluation Books Devon, United Kingdom

Biblio member since 2020

General bookseller of both fiction and non-fiction.

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 Revaluation Books

Reader reviews for Design, Specification and Verification of Interactive Systems `98: Proceedings of the Eurographics Workshop in Abingdon, U.K., June 3-5, 1998 (Springer Computer Science,)

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-